Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg. Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. 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 230-249, Springer, 2001. [doi]

Abstract

Abstract is missing.