Failures semantics and deadlocking of modular Petri nets

André, C.: Use of the behaviour equivalence in place-transition net analysis. In: Girault, C., Reisig W. (eds.) Application and theory of Petri nets, pp. 241–250. Informatik Fachberichte 52, Berlin Heidelberg New York: Springer 1982

André, C.: Structural transformations giving B-equivalent PT-nets. In: Pagnoni, A., Rozenberg, G. (eds.) Application and theory of Petri nets, pp. 14–28. Informatik Fachberichte 66, Berlin Heidelberg New York: Springer 1983

André, C.: The behaviour of a Petri net on a subset of transitions. RAIRO Autom. 17, 5–21 (1983)

Baumgarten, B.: On internal and external characterizations of PT-net building block behaviour. Proc. 7th European workshop on application and theory of Petri nets, Oxford, 1986. A revised version has appeared as Arbeitspapiere der GMD 254 (1987)

Berthelot, G.: Transformations of Petri nets. Proc. 5th European workshop on appl. and theory of Petri nets, Aarhus, pp. 310–328 (1984)

Best, E., Fernández, C.: Notations and terminology on Petri net theory. Arbeitspapiere GMD 195 (1986)

Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes, JACM 31, 560–599 (1984)

Brookes, S.D., Roscoe, A.W.: An improved failures model for communicating processes. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) Seminar on Concurrency, pp. 281–305 (1984), LNCS 197

Carstensen, H.: Fairneß bei nebenläufigen Systemen. Eine Untersuchung am Modell der Petrinetze, Uni Hamburg, FB Informatik, Bericht FBI-HH-B-126/87 (1987)

De Cindio, F., De Michelis, G., Simone, C.: GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems. In: Proc. 7th European workshop on application and theory of Petri nets, pp. 343–366 (1986)

Goltz, U.: An exercise in building structured nets. In: Proc. 7th European workshop on application and theory of Petri nets, pp. 73–99 (1986)

Hack, M.: The equality problem for vector addition systems is undecidable. TCS 2, 77–95 (1976)

Milner, R.: Lectures on a calculus for communicating systems. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) pp. 197–230. Seminar on Concurrency, LNCS 197

Müller, K.: Constructable Petri nets. EIK 21, 171–199 (1985)

Olderog, E.R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Inf. 23, 9–66 (1986)

Pomello, L.: Some equivalence notions for concurrent systems — an overview. Arbeitspapiere der GMD Nr. 103 (1984)

Suzuki, I., Murata, T.: A method for stepwise refinement and abstraction of Petri nets. J. Comput. Syst. Sci. 27, 51–76 (1983)

Taubner, D.: Two net-oriented semantics for TCSP. Univ. Hamburg, Bericht FBI-HH-B-116/85 (1985)

Valette, R.: Analysis of Petri nets by stepwise refinements. J. Comput. Syst. Sci. 18, 35–46 (1979)

Vogler, W.: Behaviour preserving refinements of Petri nets. Proc. 12th Int. workshop on graph theoretic concepts in computer science, Bernried/München, 1986, LNCS 246, pp. 82–93

Voss, K.: System specification with labelled nets and the notion of interface equivalence. Arbeitspapiere der GMD Nr. 211 (1986)