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

Masato Notomi Tadao Murata

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

petri net
colored petri nets
artificial intelligence
data analysis
manufacturing systems
discrete event systems
petri net model
low cost
software architecture
state machines
concurrent processes
embedded real time systems