Abstract
The main aim of this paper has been to propose a next step in increasing the level of the presentation of non-sequential processes. Occurrence nets allow to specify and study asynchronous parallelism in processes. The propozed generalization (acyclic nets) gives the additional possibility to include in the specification non-determinism of conflict process elements. New notions arise such as al-sections, L-density, M-density which give topological characterization of distinction "good" and "bad" interrelation between intuitive concepts of sequential, parallel and alternative occurrences of events and conditions. The connection between K-, L-, M-density of process nets and, correspondingly, boundness, fairness and free-choice property of Petri nets has been indicated.
Proofs of the theorems and Lemmas stated above will be presented elsewhere.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Petri C.A. Non-sequential processes. ISP-Report 77.05. St.Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1971, 31 p.
Petri C.A. Concurrency as a basis for system thinking. ISP-Report 78.06, St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung, 1978, 20 p.
Peterson J.G. Petri net theory and the modelling of systems. Prentice-Hall Inc., N.Y., 1981, 290 p.
Petri C.A. Concurrency. Lecture Notes in Computer Science, vol. 84, Springer-Verlag, Berlin, 1979, p.251–260.
Best E. The relative strength of K-density. Lecture Notes in Computer Science, vol.84, Springer-Verlag, Berlin, 1979, p.261–276.
Nielsen M., Plotkin G., Winskel G. Petri nets, event structures and domains. Lecture Notes in Computer Science, vol.70, Springer-Verlag, Berlin, 1979, p.266–284.
Best E., Merceron-Brecht A. Some properties of non-sequential processes. ISF-Report 82.07, Gesellschaft für Mathematik und Datenverarbeitung, 1982, 23 p.
Fernandez C., Thiagrajan P.S. D-Continuous Causal Nets: A Model of Non-Sequential Processes. ISF-Report 82.05, Gesellschaft für Mathematik und Datenverarbeitung, 1982, 40 p.
Queille J.P., Sifakis J. Fairness and properties in transition systems — a time Logic to deal with fairness. Research Report RR-292, IMAG, March, 1982, 30 p.
Janicki R. On atomic nets and concurrency relations. Lecture Notes in Computer Science 88, Springer-Verlag, Berlin, 1980, p.320–333.
Goltz V., Reisig W. Processes of place-transition nets. Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1983, vol.154, p.264–277.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kotov, V.E., Cherkasova, L.A. (1985). On structural properties of generalized processes. In: Rozenberg, G. (eds) Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15204-0_17
Download citation
DOI: https://doi.org/10.1007/3-540-15204-0_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15204-0
Online ISBN: 978-3-540-39320-7
eBook Packages: Springer Book Archive