Rozenberg, G. (ed.) Petri nets. (English) Zbl 0878.00032 Theor. Comput. Sci. 153, No. 1-2, 301 p. (1996). MSC: 00B15 68-06 PDF BibTeX XML Cite \textit{G. Rozenberg} (ed.), Theor. Comput. Sci. 153, No. 1--2, 301~p. (1996; Zbl 0878.00032)
Teruel, Enrique; Silva, Manuel Structure theory of equal conflict systems. (English) Zbl 0872.68132 Theor. Comput. Sci. 153, No. 1-2, 271-300 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Teruel} and \textit{M. Silva}, Theor. Comput. Sci. 153, No. 1--2, 271--300 (1996; Zbl 0872.68132) Full Text: DOI
Smith, Einar On the border of causality: contact and confusion. (English) Zbl 0872.68128 Theor. Comput. Sci. 153, No. 1-2, 245-270 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Smith}, Theor. Comput. Sci. 153, No. 1--2, 245--270 (1996; Zbl 0872.68128) Full Text: DOI
Nielsen, Mogens; Winskel, Glynn Petri nets and bisimulation. (English) Zbl 0872.68129 Theor. Comput. Sci. 153, No. 1-2, 211-244 (1996). MSC: 68Q85 68Q10 68Q55 PDF BibTeX XML Cite \textit{M. Nielsen} and \textit{G. Winskel}, Theor. Comput. Sci. 153, No. 1--2, 211--244 (1996; Zbl 0872.68129) Full Text: DOI
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro Process versus unfolding semantics for Place/Transition Petri nets. (English) Zbl 0872.68130 Theor. Comput. Sci. 153, No. 1-2, 171-210 (1996). MSC: 68Q85 68Q55 68Q10 PDF BibTeX XML Cite \textit{J. Meseguer} et al., Theor. Comput. Sci. 153, No. 1--2, 171--210 (1996; Zbl 0872.68130) Full Text: DOI
Hoogers, P. W.; Kleijn, H. C. M.; Thiagarajan, P. S. An event structure semantics for general Petri nets. (English) Zbl 0872.68126 Theor. Comput. Sci. 153, No. 1-2, 129-170 (1996). MSC: 68Q85 68Q55 68Q45 PDF BibTeX XML Cite \textit{P. W. Hoogers} et al., Theor. Comput. Sci. 153, No. 1--2, 129--170 (1996; Zbl 0872.68126) Full Text: DOI
Esparza, Javier; Bruns, Glenn Trapping mutual exclusion in the box calculus. (English) Zbl 0872.68133 Theor. Comput. Sci. 153, No. 1-2, 95-128 (1996). MSC: 68Q85 68Q55 68Q60 68Q10 PDF BibTeX XML Cite \textit{J. Esparza} and \textit{G. Bruns}, Theor. Comput. Sci. 153, No. 1--2, 95--128 (1996; Zbl 0872.68133) Full Text: DOI
Engelfriet, Joost A multiset semantics for the pi-calculus with replication. (English) Zbl 0872.68125 Theor. Comput. Sci. 153, No. 1-2, 65-94 (1996). MSC: 68Q85 68Q55 68Q10 PDF BibTeX XML Cite \textit{J. Engelfriet}, Theor. Comput. Sci. 153, No. 1--2, 65--94 (1996; Zbl 0872.68125) Full Text: DOI
Desel, J.; Neuendorf, K.-P.; Radola, M.-D. Proving nonreachability by modulo-invariants. (English) Zbl 0872.68131 Theor. Comput. Sci. 153, No. 1-2, 49-64 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Desel} et al., Theor. Comput. Sci. 153, No. 1--2, 49--64 (1996; Zbl 0872.68131) Full Text: DOI
Petri, C. A. Nets, time and space. (English) Zbl 0872.68127 Theor. Comput. Sci. 153, No. 1-2, 3-48 (1996). MSC: 68Q85 68Q10 68-01 PDF BibTeX XML Cite \textit{C. A. Petri}, Theor. Comput. Sci. 153, No. 1--2, 3--48 (1996; Zbl 0872.68127) Full Text: DOI