1. C.André: Use of the Behavior Equivalence in Place-Transition Net Analysis. Applications and Theory of Petri Nets, Informatik-Fachberichte 52, C.Girault and W.Reisig editors, Springer Verlag, 1982, pp 241–250.
2. B. Baumgarten: On Internal and External Characterizations of PT-nets Building Block Behavior. Advances in Petri Nets 87, LNCS 340, Springer Verlag, 1988, pp 44–61.
3. A. Bourguet-Rouger: External Behavior Equivalence between two Petri Nets. Concurrency 88, LNCS 335, F.A. Vogt editor, Springer Verlag, 1988, pp 237–256.
4. G.W. Brams: Réseaux de Petri: théorie et pratique. Masson, vol 1 and 2, Paris 1982 and 1983.
5. C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall International, 1985.