On Concurrent Realization of Reactive Systems and Their Morphisms

Marek A. Bednarczyk, Andrzej M. Borzyszkowski. On Concurrent Realization of Reactive Systems and Their Morphisms. In Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets. Volume 2128 of Lecture Notes in Computer Science, pages 346-379, Springer, 2001. [doi]

Abstract

Abstract is missing.