A Formal Framework for Petri Net Class Transformations

Francesco Parisi-Presicce. A Formal Framework for Petri Net Class Transformations. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, editors, Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Volume 2472 of Lecture Notes in Computer Science, pages 409-430, Springer, 2003. [doi]

Abstract

Abstract is missing.