Equivalence transformations of PrT-Nets

  • Hartmann J. Genrich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 424)


There is a net theoretical system model called Predicate Transition Nets (PrT-Nets) that describes distributed systems as first-order dynamic structures. A single PrT-net can present a whole family of related systems in the same way as a set of logical formulae may describe a whole family of (static) systems — the class of its set-theoretical models.

In this note two PrT-nets are called equivalent if they describe the same family of systems. A list of formal transformations (re-writing rules) for PrT-nets that are consistent with equivalence is presented. For a non-trivial subclass of PrT-nets this set of rules is shown to characterize equivalence; it is also complete.

Key Words

Higher-level Petri nets predicate transition nets semantical equivalence rewriting rules 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Albert, K.; Jensen, K.; Shapiro, R.: DESIGN/CPN — A Tool Package Supporting the Use of Coloured Petri Nets. Meta Software Corporation. Cambridge, MA (1989)Google Scholar
  2. [2]
    Brauer, W.; Reisig, W.; Rozenberg, G. (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I. Lecture Notes in Computer Science 254. Springer 1987Google Scholar
  3. [3]
    Genrich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13 (1981) 109–136Google Scholar
  4. [4]
    Genrich, H.J.: Projections of CE Systems. In: Advances in Petri Nets 1985, Lecture Notes in Computer Science 222. Springer 1986Google Scholar
  5. [5]
    Genrich, H.J.: Predicate/Transition Nets. In [2]Google Scholar
  6. [6]
    Jensen, K.: Coloured Petri Nets. In [2]Google Scholar
  7. [7]
    Shoenfield, J.R.: Mathematical Logic. Addison-Wesley 1967Google Scholar
  8. [8]
    Thiagarajan, P.S.: Elementary Net Systems. In [2].Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Hartmann J. Genrich
    • 1
  1. 1.Institut für Methodische Grundlagen Gesellschaft für Mathematik und DatenverarbeitungSt. Augustin 1Fed. Rep. Germany

Personalised recommendations