Abstract
This paper present a selection of some properties of a non-sequential process.
Three types of properties are studied, namely: discreteness properties, density properties and the D-continuity property. Relations between these properties are established.
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
E. Best, C. Fernández and H. Plünnecke, Concurrent Systems and Processes, Final report of the foundational part of the project Begrund, GMD-Studien Nr. 104 (1985)
E. Best and C. Fernandez, A Petri Net Theory of Systems and Processes. Draft of a projected monograph. GMD, St. Augustin, Federal Republic of Germany (February 1986)
E. Best and A. Merceron, Concurrency Axioms and D-Continuous Posets, Advances in Petri Nets 1984, Lecture Notes in Computer Science Nr. 188, pp. 32-47. (Springer-Verlag, 1985)
E. Best and A. Merceron, Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties, Advances in Petri Nets 1984, Lecture Notes in Computer Science Nr. 188, pp. 48-61 (Springer-Verlag, 1985)
R. Dedekind, Was sind und was sollen die Zahlen? Stetigkeit und Irrationale Zahlen (Vieweg, Braunschweig, 1969)
C. Fernández and P. S. Thiagarajan, D-Continuous Causal Nets: A Model of Non-Sequential Processes, Theoretical Computer Science, 28, pp. 171–196 (1984)
C. Fernández, M. Nielsen and P. S. Thiagarajan, Notions of Realizable Non-Sequential Processes, Report DAIMI PB-205, Aarhus University, Aarhus, Denmark (February 1986)
U. Goltz and W. Reisig, The Non-Sequential Behaviour of Petri Nets, Information and Control 57, pp. 125–147 (1983)
C. A. Petri, Non-Sequential Processes, Interner-Bericht ISF-77-5, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Federal Republic of Germany (1977)
C. A. Petri, Concurrency, in: W. Brauer, ed., Net Theory and and Applications, Lecture Notes in Computer Science Nr. 84, pp. 251-260 (Springer-Verlag, 1981)
G. Winskel, Events in Computation, Ph. D. Thesis, University of Edinburgh (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fernández, C. (1987). Non-Sequential Processes. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Central Models and Their Properties. ACPN 1986. Lecture Notes in Computer Science, vol 254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-47919-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-47919-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17905-4
Online ISBN: 978-3-540-47919-2
eBook Packages: Springer Book Archive