Abstract
The paper deals with conceptual, mathematical and practical aspects of developing a net theoretic system model. The model presented is based on common techniques of modelling static systems as structured sets of individuals (relational structures). These structures are ‘dynamised’ by allowing some relations between individuals to be changed by the processes of the modelled system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Darlington, J.L.: A Net Based Theorem Prover for Program Verification and Synthesis. Gesellschaft für Mathematik und Datenverarbeitung, GMD-IST Internal Report 3 /79 (1979)
Genrich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. Theor. Comp. Science 13 (1981) 109–136
Genrich, H.J.; Lautenbach, K.: S-Invariance in Predicate/Transition Nets. Informatik-Fachberichte 66: Application and Theory of Petri Nets. — Selected Papers from the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27–30, 1982/Pagnoni, A.; Rozenberg, G. (eds.) — Springer-Verlag, pp. 98–111 (1983)
Genrich, H.J.; Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science 1976/Mazurkiewicz, A. (ed.)Berlin, Heidelberg, New York: Springer-Verlag, pp. 588–595 (1976)
Gerhards, B.: 5-Invarianten in Prâdikat/Transitionsnetzen. Diplomarbeit, Universität Bonn (1982) (in German)
Halmos, P.R.: Naive Set Theory. Springer-Verlag (1974)
Holt, A.W.; Commoner, F.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Comp. Sys. Sc. 5 (1971) 511–523
Hughes, G.E.; Cresswell, M.J.: An Introduction to Modal Logic. Methuen (1982)
Jensen, K.: Coloured Petri Nets and the Invariant Method. Theor. Comp. Science 14 (1981) 317–336
Jensen, K.: Coloured Petri Nets. In this volume.
Kujansuu, R.; Lindqvist, M.: Efficient Algorithms for Computing S-invariants for Predicate/Transition Nets. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets. — Aarhus University (1984) pp. 156–173
Lang, S.: Algebra. Addison-Wesley Publ. Comp. (1965)
Lautenbach, K.: Linear Algebraic Techniques for Place/Transition Nets. In this volume.
Lautenbach, K.; Pagnoni, A.: Invariance and Duality in Predicate/Transition Nets and in Coloured Nets. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr. 132 (Feb., 1985 )
Mevissen, H.: Algebraische Bestimmung von 5-Invarianten in Priidikat/Transitions-Netzen. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, ISF-Report 81.02 (März, 1985 )
Petri, C.A.: Interpretations of Net Theory. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Technical Report ISF 75–07, 2nd ed. (Dec., 1976 )
Reisig, W.: Petri Nets. Springer-Verlag (1985)
Reisig, W.: Petri Nets with Individual Tokens. Theor. Comp. Science 41 (1985) 185–213
Schoenfield, J.R.: Mathematical Logic. Addison-Wesley Publ. Comp. (1967)
Schwarz, F.: A REDUCE Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations. Computer Physics Communications 39,2 (1986) 285–296
Thiagarajan, P.S.: Elementary Net Systems. In this volume.
Thieler-Mevissen, G.: The Petri Net Calculus of Predicate Logic. Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Technical Report ISF 76–09, 2nd ed. (May, 1977 )
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Genrich, H.J. (1991). Predicate / Transition Nets. In: Jensen, K., Rozenberg, G. (eds) High-level Petri Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84524-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-84524-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54125-7
Online ISBN: 978-3-642-84524-6
eBook Packages: Springer Book Archive