Masato Notomi

According to our database¹, Masato Notomi authored at least 2 papers between 1992 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

1992

Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis.

[BibT_eX]

[DOI]

Proceedings of the 6th International Parallel Processing Symposium, 1992