A Compositional Partial Order Semantics for Petri Net Components

Ekkart Kindler. A Compositional Partial Order Semantics for Petri Net Components. In Pierre Azéma, Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings. Volume 1248 of Lecture Notes in Computer Science, pages 235-252, Springer, 1997.

Abstract

Abstract is missing.