×

zbMATH — the first resource for mathematics

Branching processes of Petri nets. (English) Zbl 0743.68106
Summary: The notion of a branching process is introduced, as a formalization of an initial part of a run of a Petri net, including nondeterministic choices. This generalizes the notion of a process in a natural way. It is shown that the set of branching processes of a Petri net is a complete lattice, with respect to the natural notion of partial order. The largest element of this lattice is the unfolding of the Petri net.

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] [BesFer] Best, E., Fernández, C.: Nonsequential processes. EATCS Monographs, vol. 13. Berlin, Heidelberg, New York: Springer 1988
[2] [GlaVaa] Glabbeek, R.J. van, Vaandrager, F.W.: Petri net models for algebraic theories of concurrency. In: Proc. PARLE, vol. II. (Lect. Notes Comput. Sci.) vol. 259, pp. 224-242. Berlin, Heidelberg, New York: Springer 1987 · Zbl 0633.68054
[3] [Gol] Goltz, U.: On representing CCS programs by finite Petri nets. Proc. MFCS ’88 (Lect. Notes Comput. Sci.) vol. 324, pp. 339-350. Berlin, Heidelberg, New York: Springer 1988 · Zbl 0649.68015
[4] Goltz, U., Mycroft, A.: On the relationship of CCS and Petri nets. Proc. ICALP ’84 (Lect. Notes Comput Sci.) vol. 172, pp. 196-208. Berlin, Heidelberg, New York: 1984 · Zbl 0562.68049
[5] [GolRei] Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control57, 125-147 (1983) · Zbl 0551.68050 · doi:10.1016/S0019-9958(83)80040-0
[6] [NiePloWin] Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, Part I. Theor. Comput. Sci.13, 85-108 (1981) · Zbl 0452.68067 · doi:10.1016/0304-3975(81)90112-2
[7] [NieRozThi] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Behavioural notions for elementary net systems. Distribut. Comput.4, 45-57 (1990) · doi:10.1007/BF01783665
[8] [Rei] Reisig, W.: Petri Nets. EATCS Monographs, vol. 4. Berlin, Heidelberg, New York: Springer 1985 · Zbl 0604.68068
[9] Winskel, G.: Events in computation. Ph.D. Thesis, University of Edinburgh 1980
[10] [Win 2] Winskel, G.: Event structures. In: Advances in Petri nets 1986, Part II (Lect. Notes Comput. Sci.) vol. 255, pp. 325-392. Berlin, Heidelberg, New York: Springer 1987
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.