|
СТ |
Verification of Error Recovery Specification for Distributed Data by Using Colored Petri Nets |
1991 |
Akatsu M., Murata T., Kurihara K. |
|
|
|
IEICE Trans. |
19.12.1991 |
|
СТ |
State Diagram Matrix for Hierarchical Specification of Reactive System |
1993 |
Murata T., Kuriharak., Ashida A. |
|
|
|
IEICE Trans. |
20.04.1994 |
|
СТ |
A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs |
1994 |
Lin C., Murata T. |
|
|
|
IEICE Trans. |
22.02.1995 |
|
СТ |
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets |
1996 |
Murata T. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
