Hierarchical Structure of 1-Safe Petri Nets

Kamal Lodaya, D. Ranganayakulu, K. Rangarajan. Hierarchical Structure of 1-Safe Petri Nets. In Vijay A. Saraswat, editor, Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Volume 2896 of Lecture Notes in Computer Science, pages 173-187, Springer, 2003. [doi]

Abstract

Abstract is missing.