Hassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing sytem. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:15-31 [Conf]
J. Martinez, Manuel Silva A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:301-310 [Conf]