| |
| 1994 | ||
|---|---|---|
| 2 | EE | Masato Notomi, Tadao Murata: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994) |
| 1992 | ||
| 1 | Masato Notomi, Tadao Murata: Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. IPPS 1992: 616-623 | |
| 1 | Tadao Murata | [1] [2] |