Vladimiro Sassone. Axiomatizing Petri Net Concatenable Processes. In Horst Reichel, editor, Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings. Volume 965 of Lecture Notes in Computer Science, pages 414-423, Springer, 1995.
Abstract is missing.