The following list of publications about Petri Nets is not at all exhaustive; there are mentioned only the ones, that have been used to realise the work.

[aal93] W. M. P. van der Aalst, Interval Timed Coloured Petri Nets and their Analysis, LNCS vol. 691, Springer Verlag, 1993

[abc91] M. Ajmone-Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, G. Franceschinis, An introduction to Generalized Stochastic Petri Nets, Microelectronics and Reliability, Vol. 31, no. 4, 1991

[abk95] A. Attieh, M.Brady, W. Knottenbelt, P.S. Kritzinger, Functional and Temporal Analysis of Concurrent Systems, Protocol Workshop, 16th International Conference on Theory and Application of Petri nets, Turin, June 1995

[ac87] M. Ajmone-Marsan, G. Chiola, On Petri Nets with Deterministic and Exponentially distributed firing times, LNCS vol. 266, Springer Verlag, 1987

[ajm89] M. Ajmone-Marsan, Stochastic Petri Nets: An elementary ntroduction, LNCS vol. 424, Springer Verlag, 1989

[ajs89] K. Albert, K. Jensen. R. M. Shapiro: Design/CPN. A tool package supporting the use of Coloured Petri Nets, Petri Net Newsletter 32, April 1989

[akp94] N. A. Anisimov, A. Kovalenko, P. Postupalski, Compositional Petri Net Environment, Proc. of the 1994 IEEE Symposium on Emerging Technologies and Factory Atomation, Tokyo, Japan, November 1994

[akp95] N. A. Anisimov, A. Kovalenko, P. Postupalski, PN^3-Editor: Compositional Petri Net Editor for Protocol Specification, in Proc. MASCOTS 95, Durham, NC, USA, January 1995

[ani89] N. A. Anisimov, A Notion of Petri Net Entity for Communication Protocol Design, Institute for Automation and Control Processes, Vladivostok,1989

[ani91] N. A. Anisimov, An Algebra of regular Macronets for formal specifications of communication protocols, Computers and Artificial Intellignce, No. 6, 1991

[bau93] F. Bause, Queueing Petri Nets - A formalism for the combined qualitative and quantitative analysis of Systems, 5th Int. Workshop of Petri Nets and Performance Models, Toulouse, France, Oct. 1993

[bat94] E. Battiston, Guida all'ambiente ONE, CNR, Progetto finalizzato "Sistemi informatici e Calcolo parallelo", Rapporto, Luglio 1994

[bb91] M. Baldassari, G. Bruno, PROTOB: An Object Oriented methodology for developing Discrete Event Dynamic Systems, in: K. Jensen, G. Rozenberg (ed.s), High-Level Petri Nets. Theory and Application, 1991

[bd92] L. Bernardinello, F. De Cindio, A survey of Basic Net Models and Modular Net Classes, LNCS vol. 609, Springer Verlag, 1992

[bdm88] E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets: a class of High-Level Nets having Objects as Domains, In: G. Rozenberg, Advances in Petri Nets 1988, LNCS vol. 340, Springer Verlag, 1988

[bem91] B. Bütler, R. Esser, R. Mattmann, A distributed simulator for high-order Petri Nets, LNCS vol. 483, Springer Verlag, 1991

[beo93] C. Beounes et al.: SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems, Proceedings 23rd Int. Symp. on Fault-Tolerant Computing (FTCS-23), IEEE, Toulouse, France, June 1993

[bes87] E. Best, Structure Theory of Petri Nets: the Free Choice Hiatus, LNCS vol. 254, Springer Verlag, 1987

[bes88] E. Best, Weighted Basic Petri Nets, LNCS vol. 335, Springer Verlag,1988

[bf86] E. Best, C. Fernandez: Notations and Terminology on Petri Net Theory, Arbeitspapiere der GMD 195, 1986

[bff95] E. Best, H. Fleischhack, W. Fraczak, R. P. Hopkins, H. Klaudel, E. Pelz: A class of Composable High Level Petri Nets with an application to the semantics of BP(N)(2), LNCS vol. 935, 1995

[bfr93] D. Buchs, J. Flumet, P. Racloz: SANDS: Structured Algebraic Net Development System, 14th International Conference on Application and Theory of Petri Nets, Tool presentation abstracts, Chicago USA, June 1993

[bg92] D. Buchs, N. Guelfi: Distributed System Specification using CO-OPN. IEEE, 3rd Workshop on Future Trends of Distributed Computing Systems, Taipei, April 1992

[bg93] D. Buchs, N. Guelfi, Formal development of actor programs using structured algebraic Petri Nets, LNCS vol. 694, Springer Verlag, 1993

[bil91] J. Billington, FORSEEing Quality Telecommunications Software, Invited paper for the first Australian Conference on Telecommunications Software (ACTS), Melbourne, April 1991

[bjp91] G. Berthelot, C. Johnen, L. Petrucci, PAPETRI: Environment for the Analysis of Petri Nets, LNCS vol. 531, Springer Verlag, 1991

[bk94] F. Bause, P. Kemper, QPN-Tool for qualitative and quantitative analysis of Queueing Petri Nets, LNCS vol 794, Springer Verlag, 1994

[bmb88] J. M. Bernard, J. L. Mounier, N. Beldiceanu, S. Haddad, AMI: An extensible Petri Net Interactive Workshop, Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, Venice Italy, June 1988

[bon90] M. Bondi, HYPERNET - Manuale Utente, DSI Univ. Stat. Milano, 1990

[bop89] H. J. Burkhardt, P. Ochsenschläger, R. Prinoth, Product Nets - A formal description technique for cooperating systems, GMD - Studien Nr. 165, Sept. 1989

[buc95] D. Buchs & al., SANDS/CO-OPN: an overview of the language and its supporting tools, Technical Report No 95/133 DI-LGL, EPFL CH-1015, Lausanne, June 1995

[bv95] G. Bucci, E. Vicario, Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets, IEEE Transactions on Software Engineering, Dec. 1995

[bww88] J. Billington, G. R. Wheeler, M. C. Wilbur-Ham, PROTEAN: A High-Level PetriNet Tool for the Specification and Verification of Communication Protocols, IEEE Trans. Software Eng. vol. 14 no. 3, March 1988

[cba93] G. Conte, G. Balbo, M. Ajmone Marsan, G. Chiola, Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications, IEEE Transactions on Software Engineering, Vol. 19, 1993

[cbc92] G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, K. S. Trivedi: Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets, IMA Volumes in Mathematics and its Applications, Vol. 48, Springer Verlag, 1992

[cdf90] G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad, On Well-Formed Coloured Nets and their Symbolic Reachability Graph, 11th Int. Conf. on Applications and Theory of Petri Nets, Paris, France, 1990

[cdf93] G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad: Stochastic Well-Formed Coloured Nets and Symmetric Modelling Applications. IEEE Transactions on Computers, Vol. 42, No. 11, 1993

[ces92] M. Ceska, Tools for net model applications, System Science XI (Internationl Conference) Wroclaw, Poland, 1992

[cfj91] J. Couvillion, R. Freire, R. Johnson, W. D. Obal II, M. A. Qureshi, M. Rai, W. H. Sanders, J. E. Tvedt, Performability Modelling with UltraSAN, IEEE Software, Special Issue on Software for Performance Analysis, September 1991

[che71] F. Commoner, A. W. Holt, S. Even, A. Pneuli: Marked Directed Graphs. JCSS vol. 5, 1971

[chi91a] G. Chiola, GreatSPN 1.5 Software Architecture, Proc. 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, Feb. 1991

[chi91b] G. Chiola, Simulation Framework for Timed and Stochasic Petri Nets, International Journal in Computer Simulation, Vol. 2, No. 2, 1991

[chi94] A. Chizzoni, CLOWN: CLass Orientation With Nets, Tesi di Laurea, DSI Milano, 1994

[cj85] C. Choppy, C. Johnen, PETRIREVE: Proving Petri Net properties with rewriting systems, LNCS vol. 202, Springer Verlag, 1985

[cm91] J. M. Couvreur, J. Martinez, Linear Invariants in Commutative High-Level Nets, in: K. Jensen, G. Rozenberg (ed.s), High-Level Petri Nets. Theory and Application, 1991

[ctm89] G. Ciardo, K. S. Trivedi, J. Muppala, SPNP: stochastic Petri net package, Proc. 3rd Int. Workshop on Petri Nets and Performance Models (PNPM89), IEEE Computer Society Press, 1989

[dan91] G. Degli Antoni, Communicanting Petri Nets, Rapporto interno n.86/91, DSI, Univ degli Studi Milano, Novembre 1991

[dd89] W. Damm, G. Döhmen, AADL: a net based specification method for computer architecture design, in: J. Bakker (ed.) "Languages for parallel architectures: design semantics and implementation models." John Wiley and sons, 1989

[ddp82] F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Superposed Automata Nets, in: "Application and Theory of Petri Nets", IFB 52, Springer Verlag, 1982

[ddp87] F. De Cindio, G. De Michelis, L. Pomello, C. Simone, A. Stragapede, Le Reti di Automi Sovrapposti: Una classe Modulare di Reti di Petri, ENEL-DSR-CRA, Milano, 1987

[dev90] R. Devillers, The semantics of capacities in P/T nets, LNCS vol. 424, Springer Verlag, 1990

[dfg94] A. C. Debaque, P. Freedman, J. M. Goutal, R. Keller, M. Levy, F. Saba, The ECORP Approach to Petri Net Tool Evaluation, Proc. of the Canadian Conf. on Electrical and Computer Engineering, Halifax, Canada, Sept. 1994

[dh89] C. Dutheillet, S. Haddad, Regular Stochastic Petri Nets, Proc. 10th Int.Conf. on Application and Theory of Petri Nets, Bonn, Germany, June 1989

[dhp91] C. Dimitrovici, U. Hummert, L. Petrucci, Semantics, Composition and Net Properties of Algebraic High-level Nets, LNCS vol. 524, 1991

[dtg84] J. B. Dugan, K. S. Trivedi, R. M. Geist, V. M. Nicola, Extended Stochastic Petri Nets: Applications and Analysis, Proc. PERFORMANCE '84, Paris, France, Dec. 1984

[eph92] E. Best, R. Pinder Hopkins, B(PN)^2 - a Basic Petri Net Programming Notation, Hildesheimer Informatik-Bericht no. 27/92, Univ. Hildesheim, 1992

[es91] J. Esparza, M. Silva, Circuits, handles, bridges and nets, LNCS, vol. 483, Springer Verlag, 1991 [fel86] F. Feldbrugge, Petri Net Tools, LNCS vol. 222, Springer Verlag, 1986

[fel90] F. Feldbrugge, Petri Net Overview 1989, LNCS vol. 424, Springer Verlag, 1990

[fel93] F. Feldbrugge, Petri Net Tool Overview 1992, LNCS vol. 674, Springer Verlag, 1993

[fgp93] M. Felder, C. Ghezzi, M. Pezzé, Analyzing refinements of state based specifications: the case of TB Nets, In Proceedings of International Symposium on Software Testing and Analysis, Boston (MA), June 1993

[fj87] F. Feldbrugge, K. Jensen, Petri Net Tool Overview 1986, LNCS vol. 255, Springer Verlag, 1987

[fj91] F. Feldbrugge, K. Jensen, Computer Tools for High-level Petri Nets, in: K. Jensen, G. Rozenberg (ed.s), High-Level Petri Nets. Theory and Application, 1991

[fl93] H. Fleischhack, U. Lichtblau, MOBY - A tool for high-level Petri Nets with objects, Proc. IEEE/SMC 93, Le Touquet, Vol. 4, 1993

[fls93] Hans Fleischhack, Ulrike Lichtblau, Michael Sonnenschein, Ralf Wieting, Generische Definition {hierarchischer} {zeitbeschrifteter} {höherer} Petrinetze, Bericht der Arbeitsgruppe Informatik-Systeme Nr. AIS-13, Fachbereich Informatik, Universität Oldenburg, December 1993

[for86] I. R. Forman, petri - A Unix Tool for the analysis of Petri Nets, Proc.1986 Fall Joint Computer Conf., 1986

[gen87] H. J. Genrich, Predicate/Transition Nets, LNCS vol. 254, Springer Verlag, 1987

[gk94a] J. M. Goutal, R. Keller, - a densely populated, up-to-date Information Server on Petri Net Tools, Petri Net Newsletter, October 1994

[gk94b] W. Garbe, A. Kantelberg: SimNet - ein Werkzeug für Modellierung und Simulation auf Basis stochastischer Petri-Netze, EMISA-Forum 1/1994

[gkz95] R. German, C. Kelling, A. Zimmermann, G. Hommel: TimeNET - A toolkit for evaluating Stochastic Petri Nets with Non-Exponential Firing Times, Journal of Performance Evaluation, Elsevier, The Netherlands, Vol. 24, 1995

[gl73] H. J. Genrich, K. Lautenbach: Synchronisationsgraphen. Acta Informatica vol. 2, 1973

[gl81] H. J. Genrich, K. Lautenbach, System Modelling with High-Level Petri Nets, Theoretical Computer Science, vol. 13, 1981

[gl83] H. J. Genrich, K. Lautenbach, S-Invariance in Predecate-Transition Nets, in "Application and Theory of Petri Nets", IFB66, Springer Verlag, 1983

[glt80] H. J. Genrich, K. Lautenbach, P. S. Thiagarajan, Elements of general Net Theory, LNCS vol. 84, Springer Verlag, 1980

[gm89] J. A. Goguen, J. Meseguer, Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions, and partial operations, Technical Report SRI-CSL-89-10, Computer Science Lab, SRI International, July 1989

[gmm91] C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzé, A unified High-Level Petri Net formalism for time-critical systems, IEEE Transactions on Software Engineering, February 1991

[gk89] M. Gregor, J. Kosturiak: Enumerative analysis of Petri Net qualitative properties, Automatizace, 32, 1989 c.6 (in Czechoslovakian)

[grt95] B. Grahlmann, S. Römer, T. Thielke, B. Graves, M. Damm, R. Riemann, L. Jenner, S. Melzer, A. Gronewold, PEP: Programming Environment Based on Petri Nets, in Hildesheimer Informatik-Berichte no. 14/95, Univ. Hildesheim, 1995

[gs89] T. Gasior, Z. Suraj, A system for automatic drawing Petri Nets - GRAPH, Report of Researches in Departmental Problem RP I.09, Ped. University, Rzeszów, 1989

[gt84] H. J. Genrich, P. S. Thiagarajan: A Theory of bipolar Synchronisation Schemes, TCS vol. 30, 1984

[gta94] Å. Gustavson, A. Törn, Å. Akademi, XSIMNET, a tool in C++ for executing Simulation Nets, Proc. of the Conf. on Modelling and Simulation, 1994

[gtv93] P. Grönberg, M. Tiusanen, K. Varpaaniemi, PROD - A Pr/T-Net Reachability Analysis Tool, Digital Systems Laboratory, series B: Technical Report No. 11, June 1993

[hac72] M. Hack, Analysis of production schemata by Petri Nets, TR-94, MIT, Boston, 1972

[hol88] G. J. Holzmann: An improved protocol reachability analysis technique. Software Practice and Experience, Vol. 18, No. 2, Febr. 1988

[hjs86] P. Huber, K. Jensen, R. M. Shapiro: Design/CPN extensions - Timed simulation, Colour set restrictions and reporting facilities, Meta Software, version II, February 1986

[hsv89] K. M. van Hee, L. J. Somers, M. Voorhoeve, Executable Specifications for Distributed Information Systems, in E. D. Falkenberg, P. Lindgreen (eds.), Information System Concepts: an in-depth analysis, North Holland, 1989

[hsv91] K. M. van Hee, L. J. Somers, M. Voorhoeve, The EXSpect Tool, LNCS vol. 551, 1991

[hum89] U. Hummert, Algebraische Theorie von High-Level-Netzen, Doktorarbeit, TU Berlin 1989

[hv86] M. A. Holliday, M. K. Vernon, The GTPN Analyzer: Numerical Methods and User Interface, Proc. 1986 Fall Joint Computer Conf., 1986

[ir93] J.-M. Ilié, O. Rojas, On Well-Formed Nets and Optimizations in enabling tests, LNCS vol. 691, Springer Verlag, 1993

[jan84] R. Janicki, Nets, sequential components and concurrency relations, in: Theoretical Computer Science: The Journal of EATCS, vol. 29, 1984

[jan87] M. Jantzen, Complexity of Place/Transition Nets, LNCS vol. 254, Springer Verlag, 1987

[jen81] K. Jensen, Coloured Petri Nets and the Invariant Method, Theoretical Computer Science vol. 14, 1981

[jen87] K. Jensen, Computer Tools for construction, modification and analysis of Petri Nets, LNCS vol. 255, 1987

[jen90] K. Jensen, Coloured Petri Nets: A high-level Language for System Design and Analysis, LNCS vol. 483, Springer Verlag 1990

[jr91] K. Jensen, G. Rozenberg, High-level Petri Nets - Theory and Application, Springer Verlag, 1991

[jv81] M. Jantzen, R. Valk, Formal properties of Place/Transition Nets, LNCS vol. 84, Springer Verlag, 1981

[kb94] R. K. Keller, G. von Bochmann, Petri Net based business modelling and simulation with the Macrotec environment, June 1994, Handout at tool presentation at the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain

[klo93] R. K. Keller, R. Lajoie, M. Ozkan, F. Saba, X. Shen, Tao Tao, G. von Bochmann, The Macrotec toolset for CASE-based business modelling, Proc. of the 6th International Workshop on Computer-Aided Software engineering, Singapore, July 1993

[kel95] C. Kelling, TimeNET-SIM - a parallel Simulator for Stochastic Petri Nets, Proc. 28th Annual Simulation Symp., Phoenix, Arizona, USA, 1995

[kfl87] J. Kaltwasser, G. R. Friedrich, P. Leipner, B. Müller, T. Vieweg, Dialog-orientiertes graphisches Petri-Netz-Entwicklungssystem (DIOGENES), Akademie der Wissenschaften der DDR, ZKI-Informationen 4/87, Berlin,1987

[kot78] V. E. Kotov, An Algebra for Parallelism based on Petri Nets, LNCS vol. 64, Springer Verlag, 1978

[ksb94] R. Keller, X. Shen, G. v. Bochmann, Macronet - A simple, yet expressive and flexible formalism for Business Modelling, Workshop, Proc. 15th Int. Conf. on Application and Theory of Petri Nets, Zaragoza, June 1994

[lak94] C. A. Lakos, Object Petri Nets - Definition and Relationship to Coloured Nets, Technical Report 94-3, Dep. of Computer Science, University of Tasmania, April 1994

[lau87] K. Lautenbach, Linear Algebraic Techniques for Place-Transition Nets, LNCS vol. 254, Springer Verlag, 1987

[lew85] A. Lew: Petri Net processing using decision tables, Univ. of Hawaii, Technical Report, 1985

[lin92] C. Lindemann, DSPNexpress: A Software package for the efficient solution of deterministic and stochastic Petri Nets, Proc. 6th International Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh, Great Britain, 1992

[lin93] C. Lindemann, Performance Modelling using DSPNExpress, LNCS vol. 729, Springer Verlag, 1993

[lin94] C. Lindemann, Stochastic Modeling using DSPNexpress, Oldenbourg Verlag, 1994

[lm91] C. Lin, D. C. Marinescu, Stochastic High-Level Petri Nets and Applications, in: K. Jensen, G. Rozenberg (ed.s), High-Level Petri Nets. Theory and Application, 1991

[ls87] N. G. Leveson, J. L. Stolzy, Safety analysis using Petri Nets, IEEE Trans. Software Eng., vol. SE-13, no. 3, Mar 1987

[mar86] G. Marcon, TEBE, tools for Exhibited-Behaviour Equivalence, Master thesis in Infrmation Sciences, Univ. degli Studi di Milano, 1986

[mas92] MASI Laboratory: MARS. Modelling, Analysis and pRototyping of parallel Systems, XIII Int. Conf. on Theory and Application of Petri Nets,Sheffield, U.K., June 1992

[may84] E. W. Mayr, An Algebra for the general Petri Net Reachability Problem, Siam J. Comput., 13, 1984

[mb83a] M. Menasche, B. Berthomieu, An Enumerative Approach for Analysing Time Petri Nets, Proceedings of the Information Processing 83, IFIP - Ninth World Congress, Paris, September 1983

[mb83b] M. Menasche, B. Berthomieu, Time Petri Nets for Analysing and Verifying Time Dependent Protocols, Proceedings of the Third International Workshop on Protocol Specification, Testing and Verification, Zurich, June 1983

[men85] M. Menasche, PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets, Proceedings of the International Workshop on Timed Petri Nets, Torino, July 1985

[met94] S. Metge et al., SURF-2: outil d'evaluation de la sret de fonctionnement par chaines de Markov et reseaux de Petri stochastiques. 9eme Colloque International de Fiabilite et de Maintenabilit et ESREL '94 (European Safety and Reliability Conference), Lau Baule, France, 1994

[mf76] P. M. Merlin, D. J. Farber, Recoverability of communication protocols implications of a theoretical study, IEEE Trans. Commun. vol. COM-24, Sept. 1976

[mf90] B. Müller, G. R. Friedrich, Die Bearbeitung höherer zeitbewerteter Petri-Netze mit DIOGENES, Material Summer School "Petri Netze: Systementwurf und Werkzeuge", Univ. Hildesheim, Aug. 1990

[mms85] J. F. Meyer, A. Movaghar, W. H. Sanders, Stochastic Activity Networks: Structure, behaviour and applications, in Proc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985

[mol81] M. K. Molloy: On the Integration of Delay and Throughput Measures in Distributed Processing Models, Ph.D. Thesis, UCLA, Los Angeles, CA, 1981

[mol86] M. K. Molloy, A CAD Tool for Stochastic Petri Nets, Proc. 1986 Fall Joint Computer Conf., 1986

[ms93] J. F. Meyer, W. H. Sanders: Specification and construction of performability models, in Second Int. Workshop on Performability Modelling of Computer and Communication Systems, Le Mont Saint-Michel, France, June 1993

[mur89] T. Murata, Petri Nets: Properties, Analysis and Applications, Proc. IEEE vol. 77, no. 4, April 1989

[nat80] S. Natkin: Les Reseaux de Petri Stochastique et leur Application a l'Evaluation des Systèmes Informatique, Thèse de Docteur Ingegneur, CNAM, Paris, France, 1980

[och91] P. Ochsenschläger, Die Produktnetzmaschine - Eine Übersicht, Arbeitspapiere der GMD 505, Jan. 1991

[och94a] P. Ochsenschläger, Verification of Cooperating Systems by simple homomorphisms using the Product Net Machine, Workshop Algorithmen und Werkzeuge für Petri Netze, Berlin, 1994

[och94b] P. Ochsenschläger, Verfikation von SmartCard-Anwendungen mit Produktnetzen, 1994

[oem90] H. Oswald, R. Esser, R. Mattmann, An environment for specifying and executing hierarchical Petri Nets, Proc. Int. Conf. on Software Engineering, IEEE, 1990

[op95] P. Ochsenschäger, R. Prinoth, Modellierung verteilter Systeme. Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen, Programm für Angewandte Informatik, Vieweg Verlag, to appear April1995

[par90] K. R. Parker: The PROMPT automatic implementation tool - Initial impressions. Proc. 3rd Int. Conf. on Formal Description Techniques, Madrid, Spain, Nov. 1990

[ps93] L. Peters, R. Schultz: The application of Petri Nets in Object-Oriented Enterprise simulation. Hawaii International Cong. on system Sciences (HICSS-26), January 1993 [pt91] P. Parent, O. Taniv: Voltaire: a discrete event simulator. 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991

[ram74] C. Ramchandani, Analysis of asynchronous concurrent systems by Petri Nets, Cambridge, MA: MIT, Project MAC, TR-120, Feb. 1974

[rei85a] W. Reisig, Petri Nets. An Introduction, New York: Springer Verlag, 1985

[rei85b] W. Reisig: On the semantics of Petri Nets, in: Neuhold, Chroust (eds.), Formal Models in Programming, North Holland Publ. Company, IFIP, 1985

[rei87] W. Reisig, Place/Transition Systems, LNCS vol. 254, Springer Verlag, 1987

[rt86] G. Rozenberg, P. S. Thiagarajan, Petri Nets: Basic Notions, Structure, Behaviour, LNCS vol. 424, Springer Verlag, 1986

[sa88] J. Snow, R. Albright, MetaDesign - The graphic tool for modelling complex systems, Version 2.3; Meta Software Corporation, Cambridge, 1988

[sd88] R. Shapiro, R. D. Druker, Design/OA, Meta Software Corporation, Cambridge, 1988

[sif77] J. Sifakis, Use of Petri Nets for performance evaluation, in: H. Beilner and E. Gelenbe (eds.), Measuring, Modelling and Evaluating Computer Systems, North Holland, 1977

[ska92] M. Skacel, Tools for Petri Nets drawing, simulation and analysis under MS Windows, dipl. thesis, Dep. of Computer Science and Engineering, Technical University of Brno, 1992

[skb93] X. Shen, R. K. Keller, G. von Bochmann, Macrotec at a glance, a new approach and toolset for business modelling and simulation, October 1993, Handout at demonstration session at the 1993 GAS conference, Toronto, Canada

[sm86] W. H. Sanders, J. F. Meyer, METASAN: A Performance Evaluation Tool based on Stochastic Activity Networks, Proc. ACM/IEEE-CS Fall Joint Computer Conference, Nov. 1986

[so93] W. H. Sanders, W. D. Obal II, Dependability Evaluation using UltraSAN, Software Demonstration in Proc. of the 23rd International Symposium on Fault-Tolerant Computing, Toulouse, France, IEEE Press, June 1993

[ssw94] S. Schöf, M. Sonnenschein, R. Wieting, Sequentielle und verteilte Simulation von THOR-Netzen, in: J. Desel, A. Oberweis, W. Reisig (ed.s), Workshop "Algorithmen und Werkzeuge für Petri Netze, Berlin, October 1994

[ssw95] S. Schöf, M. Sonnenschein, R. Wieting, High-level Modeling with THOR Nets, Proceedings of the 14th International Congress on Cybernetics, Namur, Belgium, August 21-25, 1995 (to appear)

[sta88] P. H. Starke, Remarks on Timed Petri Nets, Proc. 9th European Workshop on Application and Theory of Petri Nets, 1988

[sta90] P. H. Starke, Analyse von Petri-Netz-Modellen. B. J. Teubner Verlag, Stuttgart, 1990

[sta91] P. H. Starke, PAN/CPNA: Petri-Netz-Analyse-Werkzeuge, Effizientes Engineering komplexer Automatisierungssysteme, TU Braunschweig, 1991

[sur90] Z. Suraj, GRAPH: A graphical system for Petri Net design and simulation, Petri Net Newsletter no. 35, 1990

[sym80] F. J. W. Symons, Introduction to Numerical Petri Nets, A General Graphical Model of concurrent Processing Systems, Australian Telecommunications Research, vol. 14, January 1980

[tau88] D. Taubner, On the Implementation of Petri Nets, LNCS vol. 340, Springer Verlag, 1988

[thi87] P. S. Thiagarajan, Elementary Net Systems, LNCS vol. 254, Springer Verlag, 1987

[tre88] N. Treves, COMBAG: A tool for the computation of a basis and a set of generators of semiflows for Pr/T systems, Proc. Int. Conf. on Parallel Processing and Application, 1988

[ucs91] Unico Computer Systems: PROMPT System User Manual, Unico Computer Systems and Telecom Australia, Sept. 1991

[val89] A. Valmari: Stubborn sets for reduced state space generation. Proc. 10th Conf. on Application and Theory of Petri Nets, Bonn, 1989

[var93] K. Varpaaniemi, Efficent Detection of Deadlocks of Petri Nets, Helsinki University of Technology, Digital Systems Laboratory Report A26, Espoo, October 1993

[var94] K. Varpaaniemi, On Computing Symmetries and Stubborn Sets, Helsinki University of Technology, Digital Systems Laboratory Report B12, Espoo, April 1994

[var95] S. Varallo, Laboratorio su alcune teorie dei processi, Tesi di Laurea, DSI, Univ. degli Studi di Milano, 1995 [vau85] J. Vautherin: Un modèle algébrique, basé sur les rèseaux de Petri, pour l'ètude des systèmes parallèles, Thèse de doctorat d'ingènieur, Universitè de Paris-Sud, 1985

[vau87] J. Vautherin: Parallel Systems Specifications with Colored Petri Nets and Algebraic Specifications, LNCS vol. 266, 1987

[vit91] G. Vitale, NETOBJ: Un Editor di Reti di Petri ad Oggetti, Tesi di Laurea, DSI, Univ. degli Studi di Milano, 1991

[vr92] K. Varpaaniemi, M. Rauhamaa, The Stubborn Set Method in Practice, Lecture Notes in Computer Science vol. 616, Springer Verlag, 1992

[win85] G. Winskel, Categories of Models for Concurrency, LNCS vol. 197, Springer Verlag, 1985

[wvb90] G. Wheeler, A.Valmari, J. Billington: Baby TORAS eats philosophers but thinks abaut solitaire. Proc. 5th Australian Software Engineering Conference, Sydney, 1990