1. B. Berthomieu and M. Diaz: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering Vol. 17/3, 259–273 (1991).
2. E. Best and R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science Vol. 55/1, 87–136 (1988).
3. E. Best, R. Devillers and J.G. Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. Advances in Petri Nets 1992 (ed. G.Rozenberg), Springer-Verlag, LNCS Vol. 609, 21–69 (1992).
4. LNCS Vol.935;E. Best,1995
5. E. Best and Th. Thielke: Coloured Nets with Curry. Petri Net Newsletters No. 50, 27–44 (1996).