An Algebraic Semantics for Hierarchical P/T Nets

Twan Basten, Marc Voorhoeve. An Algebraic Semantics for Hierarchical P/T Nets. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 45-65, Springer, 1995.

Abstract

Abstract is missing.