Semantics of Concurrent Computation pp 348-368 | Cite as
A Petri net definition of a system description language
Conference paper
First Online:
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.
Keywords
Semantic Model System Object Concurrent System Firing Sequence Firing Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.Google Scholar
- 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).Google Scholar
- Dijkstra, E.W.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 8 (August 1975), 453–457.CrossRefGoogle Scholar
- Genrich, H.J. and Thiagarajan, P.S.: Net Progress. Computing Surveys Vol. 10, No. 1 (March 1978), 84–85.CrossRefGoogle Scholar
- 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).Google Scholar
- Jensen, K.: Extended and Hyper Petri Nets. DAIMI TR-5, August 1978.Google Scholar
- Keller, R.M.: Formal Verification of Parallel Programs, Comm. ACM 19, 7 (July 1976), 371–384.CrossRefGoogle Scholar
- 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.Google Scholar
- Kyng, M.: Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula. DAIMI PB-58, August 1976.Google Scholar
- 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.CrossRefGoogle Scholar
- Mazurkiewicz, A.: Concurrent Program Schemes and their Interpretation, DAIMI PB-78, July 1977.Google Scholar
- 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.Google Scholar
- Nygaard, K.: System Description by Simula — An Introduction. Norwegian Computing Center, Oslo, 1970.Google Scholar
- 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).Google Scholar
- Peterson, J.L.: Petri Nets. Computing Surveys Vol. 9, No. 3 (September 1977), 223–252. Commented in [Genrich & Thiagarajan 78].CrossRefGoogle Scholar
- 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.Google Scholar
- Petri, C.A.: Interpretations of Net Theory. Interner Bericht 75-07. Gesellschaft für Mathematik und Datenverarbeitung, Bonn, July 1975.Google Scholar
- 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).Google Scholar
- Simula, Dahl, O.-J., Myhrhaug, B. and Nygaard, K.: Common Base Language. Norwegian Computing Center, Oslo, 1970.Google Scholar
- 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.Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 1979