Notomi, M. and Murata, T. (1994) Hierarchical Real Ability Graph of Bounded Petri Nets for Concurrent Software Analysis. IEEE Transactions on Software Engineering, 20, 325-336.

has been cited by the following article: