1. R. Alur, Th.A. Henziger, Reactive modules, in: Proc. 11th IEEE Symp. on Logic in Computer Science, LICS, 1996, pp. 207–218.
2. S. Berezin, S. Campos, E.M. Clarke, Compositional reasoning in model checking, in: Proc. Internat. Symp. “Compositionality: The Significant Difference” COMPOS’97, Bad Malente, Germany, September 8–12, 1997, Lecture Notes in Computer Science, Vol. 1536, Springer, Berlin, 1998, pp. 81–102.
3. Concurrent bisimulations in Petri nets;Best;Acta Inform.,1991
4. E. Best, C. Fernandez, Nonsequential Processes. A Petri Net Point of View, EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1988.
5. A survey of behaviour and equivalence preserving refinements of Petri nets;Brauer,1990