Pointers to Petri Net on-line info

• Welcome to the World of Petri Nets

• General Classification of Petri Nets

• Wil van der Aalst: Publications (many are about Petri Nets)

• Hierarchical Petri Nets

• Petri Nets

• Graphical Languages with a formally defined semantics/Petri Nets (a section of Formal Methods for the Specification and Design of Real-Time Safety Critical Systems)

• Introduction to Artifex and its Petri Nets

• The following links are (temporarily?) broken because of a restructuring of the Univ. of Tasmania's web site
  Object Petri Net Research at the University of Tasmania (Postscript papers)

• Coloured Petri Nets at the University of Aarhus & Design/CPN (Computer Tool for Coloured Petri Nets)

• The Petri Nets Bibliography at University of Hamburg

• Galaxy's entry on Coloured Petri Nets

• Time Petri Nets a primer introduction, slides of a tutorial by Michal Young & Mauro Pezzè.

• Cabernet, a project is centered around timed Petri nets.

• The Theoretical Computer Science / Formal Specification Group (TFS), at the Computer Science Department of the Berlin Technical University has a project on Petri Nets: Concept, Theoretical Foundation, and Validation of an Application Oriented Petri Net Technology

local Postscript copies of papers

• SANDS/CO-OPN, Structured Algebraic Net Development System Concurrent Object-Oriented Petri Nets

• An Object Oriented Specification Language based on Hierarchical Petri Nets

• Interval Timed Coloured Petri Nets and their Analysis

• Petri Net Composition with Trace Theory C. Coomber, Deakin University, TR-C93/31.

Bertrand Ibrahim

Last update: 14.07.00

Site Hosting: Bronco