Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. - Masato Notomi; Tadao Murata (IPPS, 1992)

Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. - Masato Notomi; Tadao Murata (IEEE Trans. Software Eng., 1994)