Abstract
Nets of conditions and events (‘special’ Petri nets) are widely used models of dynamic systems. They represent the causal structure of the concurrent operation and co-operation of the components of a system. In this paper we introduce a net theoretic version of the first-order predicate calculus. Its purpose is to offer a formal language for expressing the relationship between a net model and the modelled system, and to provide rules for deriving the logical consequences of such an interpretation in a way that the results are expressed in the same language as the model, namely the net language. By this we permit the use of symbolic logic as part of a general formalism for the analysis and specification of dynamic systems. We show how ‘static’ logic can be correctly applied even in those practically important dynamic contexts where certain sentences change their truthvalues in a not fully specified order. As a useful by-product the graphical representation of nets induces a very natural graphical representation of the predicate calculus.
Preview
Unable to display preview. Download preview PDF.
References
Petri,C.A.: Interpretations of Net Theory. Internal Report ISF-75-07, GMD Bonn (1975)
Thieler-Mevissen,G.: The Petri Net Calculus of Predicate Logic. Internal Report (in preparation), GMD Bonn (1976)
Chang,C; Lee,R.: Symbolic Logic and Automated Theorem Proving. Academic Press, New York and London (1973)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Genrich, H.J., Thieler-Mevissen, G. (1976). The calculus of facts. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_232
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_232
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive