1. G. Campos, G. Chiola and M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automation and Control, 36 (12): 1368–1382, 1991.
2. J. Desel. A proof of the rank theorem for extended free choice nets. In K. Jensen (Eds.), Application and Theory of Petri Nets, Band 616 der Serie Lecture Notes in Computer Science, S. 134–153. Springer-Verlag, 1992.
3. J. Esparza. Synthesis rules for Petri nets, and how they lead to new results. CONCUR
90, Band 458 der Serie Lecture Notes in Computer Science, S. 182–198. Springer-Verlag, 1990.
4. J. M. Colom, J. Campos and M. Silva. On liveness analysis through linear algebraic techniques. Dpto. Ing. Electrica e Informatica, Universidad de Zaragoza RR 90–11, 1990.
5. E. Teruel and M. Silva. Structure theory of equal conflict systems. Theoretical Computer Science, 153: 271–300, 1996.