Concurrent bisimulations in Petri nets

Aceto, L., Hennessy, M.: Towards action-refinement in process algebras. Report 3/88, Computer Science Department, University of Sussex (1988). Also in Proc. LICS 89 (Asilomar, California), IEEE Computer Society Press, pp. 138?145 (1989)

Best, E.: COSY: Its relation to nets and to CSP. In: Brauer, W., et al. (eds.) Advances in Petri Nets 1986. Proc. of Advanced Course on Petri Nets, Bad Honnef (1986) (Lect. Notes Comput. Sci., vol. 255, pp. 216?220) Berlin Heidelberg New York: Springer 1987

Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. TCS55, No. 1 (1988)

Best, E., Fernández, C.: Notation and terminology on Petri net theory. Arbeitspapiere der GMD Nr. 195 (1987)

Boudol, G., Castellani, I.: On the semantics of concurrency: Partial orders and transition systems. In: Ehrig, H. (ed.) Proceedings TAPSOFT 87, Vol. 1 (Lect. Notes Comput. Sci., vol. 249, pp. 123?137. Berlin Heidelberg New York: Springer 1987

Brauer, W., Gold, R., Vogler, W.: Behaviour and equivalence preserving refinements of Petri Nets. Draft paper, Techn. Univ. München, submitted to Advances in Petri Nets 1990 (Lect. Notes Comput. Sci.). Berlin Heidelberg New York: Springer (accepted for publication)

Castellano, L., de Michelis, G., Pomello, L.: Concurrency vs. interleaving: an instructive example. Bull. EATCS31, 12?15 (1987)

Darondeau, Ph., Degano, P.: Event structures, causal trees and refinements. In: Rovan, B. (ed.) Proc. of Mathematical Foundations of Computer Science 90. (Lect. Notes Comput. Sci., vol. 452, pp. 237?245). Berlin Heidelberg New York: Springer 1990

de Cindio, F., de Michelis, G., Pomello, L., Simone, C.: A Petri net model of CSP. Proc. CIL'81, Barcelona (1981)

de Cindio, F., de Michelis, G., Pomello, L., Simone, C.: Milner's communicating systems and Petri Nets. In: Pagnoni, A., Rozenberg, G. (eds.), Application and Theory of Petri Nets (Inf. Fachber., vol. 66, pp. 40?59). Berlin Heidelberg New York: Springer 1983

Degano, P., de Nicola, R., Montanari, U.: Observational equivalences for concurrency models. Formal descr. of programming concepts III. Wirsing, M. (ed.), pp. 105?132. Amsterdam: North Holland 1987

Degano, P., de Nicola, R., Montanari, U.: A distributed operational semantics for CCS based on condition/event systems. Acta Inf.26, 59?91 (1988)

Degano, P., Gorrieri, R., Marchetti, S.: An exercise in concurrency: A CSP process as a condition/event system: In: Rozenberg, G. (ed.) Advances in Petri Nets 1988. (Lect. Notes Comput. Sci., vol. 340, pp. 85?105) Berlin Heidelberg New York: Springer 1988

Devillers, R.: On the definition of a bisimulation notion based on partial words. Petri Net Newsletter29, 16?19 (1988)

Devillers, R.: Maximality preserving bisimulation. Technical Report LIT-214, Univ. Bruxelles (1990)

van Glabbeek, R.: The refinement theorem for ST-bisimulation semantics. Proc. IFIP Working Group Conference on Programming Concepts and Methods. Broy, M., Jones, C.B. (eds.) (to appear 1990)

van Glabbeek, R., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. Arbeitspapiere der GMD 366 (1989) Extended abstract in: Kreczmar, A., Mirkowska, G. (eds.) Mathematical Foundations of Computer Science (Lect. Notes Comput. Sci., vol. 379, pp. 237?248). Berlin Heidelberg New York: Springer 1989

van Glabbeek, R., Goltz, U.: Refinement of actions in causality based models. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.). Stepwise refinement of distributed systems. Models, formalisms, correctness (Lect. Notes Comput. Sci., vol. 430, pp. 267?300). Berlin Heidelberg New York: Springer 1990

van Glabbeek, R., Goltz, U.: Equivalence notions and refinement of actions for flow event structures. In DEMON deliverables. Esprit BRA 3148 (1990)

van Glabbeek, R., Vaandrager, F.: Petri net models for algebraic concurrency. Proc. of PARLE Conference. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE. Parallel Architectures and Languages Europe. Vol. 2. (Lect. Notes Comput. Sci., vol. 259, pp. 224?242). Berlin Heidelberg New York: Springer 1987

van Glabbeek, R., Weijland, W.: Refinement in branching time semantics. Proceedings of the International Conference on Algebraic Methodology and Software Technology-Iowa City, USA (1989)

Goltz, U.: On representing CCS programs by finite Petri nets. Arbeitspapiere der GMD (1988)

Goltz, U., Reisig, W.: CSP programs as nets with individual tokens (Lect. Notes Comput. Sci., vol. 188, pp. 169?196). Berlin Heidelberg New York: Springer 1985

Lauer, P.E., Campbell, R.: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Inf.5, 297?332 (1975)

Milner, R.: A calculus of communicating systems (Lect. Notes Comput. Sci., vol. 92). Berlin Heidelberg New York: Springer 1980

Nielsen, M., Thiagarajan, P.S.: Degrees of non-determinism and concurrency: A Petri net view. 4th Conf. on Found. of Softw. Techn. and Theor. Comp. Science, pp. 89?117. Berlin Heidelberg New York: Springer 1984

Park, D.: Concurrency and automata on finite sequences. Computer Science Department, University of Warwick (1981)

Pomello, L.: Some equivalence notions for concurrent systems. An overview. In: Rozenberg, G. (ed.) Advances in Petri nets 1985 (Lect. Notes Comput. Sci. vol. 222, pp. 381?400). Berlin Heidelberg New York: Springer 1986

Pomello, L.: Observing net behaviour. In: Voss, K., et al. (eds.) Concurrency and nets, pp. 403?421. Berlin Heidelberg New York: Springer 1987

Pomello, L.: Osservatore, reti di Petri, Processi. Ph.D. Thesis, University of Milano and Torino-Italy (1988)

Pomello, L., Simone, C.: A survey of equivalence notions for net based systems. Draft paper, Univ. Milano. In: Rozenberg, G. (ed.) Advances in Petri nets 1991 (Lect. Notes Comput. Sci.). Berlin Heidelberg New York: Springer (to be published)

Pomello, L., Simone, C.: A state transformation preorder over a class of EN systems. In: Rozenberg, G. (ed.) Advances in Petri nets 1990 (Lect. Notes Comput. Sci.). Berlin Heidelberg New York: Springer 1990

Rozenberg, G., Verraedt, R.: Subset languages of Petri nets (Lect. Notes Comput. Sci., vol. 66) (also: TCS 26, pp. 301?323, 1983). Berlin Heidelberg New York: Springer 1978

Rabinovitch, A., Trakhtenbrot, B.A.: Behaviour structures and nets. Fundamenta Informaticae XI, 357?404 (1988)

Vogler, W.: Failures semantics based on interval semiwords is a congruence for refinement. In: Choffrut, C., Lengauer, T. (eds.) Proc. STACS 90 (Lect. Notes Comput. Sci., vol. 415, pp. 285?297). Berlin Heidelberg New York: Springer 1990

Vogler, W.: Bisimulation and action refinement. SFB-Bericht 342/10/90A, Techn. Univ. München (1990)

Vogler, W.: Failures semantics of Petri nets and the refinement of places and transitions. Technical Report TUM-I9003, Techn. Univ. München (1990)

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