[Ag79] Agerwala, T., ``Putting Petri nets to work''; IEEE Computer Magazine, vol.12, no.12, pp.85-94, 1979.
[AF73] Agerwala, T., Flynn, M., ``Comments on capabilities, limitations and `correctness' of Petri nets''; Proc. of the First Annual Symp. on Computer Architecture, pp.81-86, 1973.
[BVV88] Berthelot, G., Vautherin, J., Vidal-Naquet, G., ``A syntax for the description of Petri nets''; Petri Net Newsletter, no. 29, Gesellschaft fuer Informatik, pp.4-15, 1988.
[Ch92] Chiola, G., ``GreatSPN 1.5 software architecture''; in: ``Computer Performance Evaluation - Modeling Techniques and Tools'', Balbo, G., Serazzi, G. (eds.), pp.121-136, Elsevier 1992.
[Fe93] Feldbrugge, F., ``Petri net tool overview 1992''; in: ``Advances in Petri Nets 1993'' (Lecture Notes in Computer Science 674), Rozenberg, G., (ed.), pp.169-209, Springer Verlag 1993.
[Je87] Jensen, K., ``Coloured Petri nets''; in: ``Advanced Course on Petri Nets 1986'' (Lecture Notes in Computer Science 254), G. Rozenberg (ed.), pp.248-299, Springer Verlag 1987.
[KJ87] Krueckeberg, F., Jaxy, M.: ``Mathematical methods for calculating invariants in Petri nets''; in: ``Advances in Petri Nets 1987'' (Lecture Notes in Computer Science 266), G. Rozenberg (ed.), pp.104-131, Springer Verlag 1987.
[Li92] Lindemann, Ch., ``DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets''; in: ``Computer Performance Evaluation - Modeling Techniques and Tools'', Balbo, G., Serazzi, G. (eds.), pp.9-20, Elsevier 1992.
[MS82] Martinez, J., Silva, M.: ``Simple and fast algorithm to obtain all invariants of a generalized Petri net''; in: ``Applications and Theory of Petri Nets'' (Informatik Fachberichte 52); pp.301-310, Springer Verlag 1982.
[Mu89] Murata, T., ``Petri nets: properties, analysis and applications''; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
[Pe81] Peterson, J.L., ``Petri net theory and the modeling of systems'', Prentice-Hall 1981.
[Re85] Reisig, W., ``Petri nets - an introduction'' (EATCS Monographs on Theoretical Computer Science 4); Springer Verlag 1985.
[Va82] Valk, R., ``Test on zero in Petri nets''; in: ``Applications and Theory of Petri Nets''(Informatik-Fachberichte 52), Girault, C., Reisig, W. (eds.), pp.193-197, Springer Verlag 1982.
[Zu91] Zuberek, W.M., ``Timed Petri nets - definitions, properties and applications''; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644, 1991 (available in postscript).
[Zu95] Zuberek, W.M., ``Application of timed Petri nets to modeling and analysis of flexible manufacturing cells''; Technical Report #9503, Department of Computer Science, Memorial University of Newfoundland, St.John's, Canada A1B 3X5, 1996 (available in postscript).
[Zu96a] Zuberek, W.M., ``Modeling using timed Petri nets - model description and representation''; Technical Report #9601, Department of Computer Science, Memorial University of Newfoundland, St.John's, Canada A1B 3X5, 1996 (available in postscript).
[Zu96b] Zuberek, W.M., ``Modeling using timed Petri nets - event-driven simulation''; Technical Report #9602, Department of Computer Science, Memorial University of Newfoundland, St.John's, Canada A1B 3X5, 1996 (available in postscript).