A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of discrete distributed ...
en.wikipedia.org/wiki/Petri_net - Cached - Similar

A formal, graphical, executable technique for the specification and analysis of concurrent, discrete-event dynamic systems; a technique undergoing ...
www.petrinets.info/ - Cached - Similar

30th International Conference on Application and Theory of Petri Nets and other Models of Concurrency.
petrinets2009.lip6.fr/ - Cached - Similar

These Web pages present the activities of the CPN group at the Department of Computer Science, University of Aarhus, Denmark. ...
www.daimi.au.dk/CPnets/ - Cached - Similar

Tools and Software. This page collects a number of links to locations with information about Petri Net tools and related information. ...
www.informatik.uni-hamburg.de/TGI/PetriNets/tools/ - Cached - Similar

Mar 5, 2009 ... A Petri net is a graphical tool for the description and analysis of concurrent processes which arise in systems with many components ...
www.scholarpedia.org/article/Petri_net - Cached - Similar

File Format: PDF/Adobe Acrobat - View as HTML
Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.
Petri Nets: Properties, Analysis and. Applications. TADAO MURATA, fellow, ieee. Invited Paper. This is an invited tutorial-review paper on Petri nets—a ...
www.cs.unc.edu/~montek/teaching/spring-04/murata-petrinets.pdf
by T MURATA - 1989 - Cited by 4215 - Related articles - All 45 versions

Petrinetz-Tool Netlab (Windows). Das Programm Netlab ermöglicht die Eingabe und Analyse von Petri-Netzen der Klasse Stellen/Transitions-Netze (S/T-Netze). ...
www.irt.rwth-aachen.de/downloads/petrinetz-tool-netlab.html - Cached

10. Aug. 2009 ... Ein Petri-Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. ...
de.wikipedia.org/wiki/Petri-Netz - Cached - Similar

Welcome to PIPE2. A tool for creating and analysing Petri nets. Version 2.5 now available - with undo/redo, inhibitor arcs and other features as described ...
pipe2.sourceforge.net/ - Cached - Similar