Goltz, U.; Reisig, W. Processes of place/transition-nets. (English) Zbl 0523.68046 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 264-277 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:nonsequential processes; partially ordered sets; occurrence nets; place/transitions-nets; Petri-nets; K-density; cut-finiteness; discreteness PDF BibTeX XML OpenURL