Abstract
This paper introduces a language for the description of systems with concurrency, and presents a formal definition of its semantics. The language is based on Delta and the semantic model is an extension of Petri nets with a data part and with expressions attached to transitions and to places.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Delta, Holbæk-Hanssen, E., Håndlykken, P. and Nygaard, K.: System Description and the Delta Language. Norwegian Computing Center, Oslo 1975.
Delta, Jensen, K., Kyng, M. and Madsen, O.L.: Delta Semantics Defined by Petri Nets. DAIMI PB-95, March 1979, (Comp. Sci. Dept., Aarhus University).
Dijkstra, E.W.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 8 (August 1975), 453–457.
Genrich, H.J. and Thiagarajan, P.S.: Net Progress. Computing Surveys Vol. 10, No. 1 (March 1978), 84–85.
Genrich, H.J. and Lautenbach, K.: The Analysis of Distributed Systems by Means of Predicate/Transition-Nets. Gesellschaft für Mathematik und Datenverarbeitung, Bonn, January 1979 (Draft version).
Jensen, K.: Extended and Hyper Petri Nets. DAIMI TR-5, August 1978.
Keller, R.M.: Formal Verification of Parallel Programs, Comm. ACM 19, 7 (July 1976), 371–384.
Kotov, V.E.: An Algebra for Parallelism Based on Petri Nets. Mathematical Foundations of Computer Science 1978, J. Winkowski (ed.), Springer Verlag (1978), 39–55.
Kyng, M.: Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula. DAIMI PB-58, August 1976.
Lauer, P.E. and Campbell, R.H.: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica 5 (1975), 297–332.
Mazurkiewicz, A.: Concurrent Program Schemes and their Interpretation, DAIMI PB-78, July 1977.
Moalla, M., Pulou, J. and Sifakis, J.: Synchronized Petri Nets: A Model for the Description of Non-autonomous Systems. Mathematical Foundations of Computer Science 1978, J. Winkowski (ed.), Springer-Verlag (1978), 374–384.
Nygaard, K.: System Description by Simula — An Introduction. Norwegian Computing Center, Oslo, 1970.
Pearl, Wegner, E. and Hopmann, C.: Semantics of a Language for Describing Systems and Processes. IST Report 36. Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Mai 1977 (revised January 1978).
Peterson, J.L.: Petri Nets. Computing Surveys Vol. 9, No. 3 (September 1977), 223–252. Commented in [Genrich & Thiagarajan 78].
Petri, C.A.: Concepts of Net Theory. Proc. Symp. Summer School on Mathematical Foundations of Computer Science, High Tatras, Sept. 3–8, 1973, Math. Inst. Slovak Academy of Science, 1973, 137–146.
Petri, C.A.: Interpretations of Net Theory. Interner Bericht 75-07. Gesellschaft für Mathematik und Datenverarbeitung, Bonn, July 1975.
Petri, C.A.: Nichtsequentielle Prozesse. Interner Bericht 76-6, Gesellschaft für Mathematik und Datenverarbeitung, Bonn, June 1976 (translated to English by P. Krause and J. Low).
Simula, Dahl, O.-J., Myhrhaug, B. and Nygaard, K.: Common Base Language. Norwegian Computing Center, Oslo, 1970.
Thiagarajan, P.S. and Genrich, H.J.: Assignment Systems — A Model for Asynchronous Computations. Interner Bericht 76-10, Gesellschaft für Mathematik und Datenverarbeitung, Bonn, November 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jensen, K., Kyng, M., Madsen, O.L. (1979). A Petri net definition of a system description language. In: Kahn, G. (eds) Semantics of Concurrent Computation. Lecture Notes in Computer Science, vol 70. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022479
Download citation
DOI: https://doi.org/10.1007/BFb0022479
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09511-8
Online ISBN: 978-3-540-35163-4
eBook Packages: Springer Book Archive