Daniel K. Schneider: Text replacement - "$" to " {{edutechwiki}}"

2021-04-10T00:18:06Z

Text replacement - "$" to " {{edutechwiki}}"

← Older revision		Revision as of 02:18, 10 April 2021
Line 41:		Line 41:
	[[Category:Design methodologies]]		[[Category:Design methodologies]]
	[[Category: Workflow]]		[[Category: Workflow]]
			{{edutechwiki}}

Daniel K. Schneider: 1 revision imported

2021-04-09T22:18:03Z

1 revision imported

← Older revision	Revision as of 00:18, 10 April 2021
(No difference)

Daniel K. Schneider: /* References */

2010-06-14T17:13:56Z

References

New page

{{Stub}}
== Definitions ==

A '''Petri net''' (also known as a place/transition net or P/T net) is one of several mathematical representations of discrete distributed systems. As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite graph with annotations. As such, a Petri net has place nodes, transition nodes, and directed arcs connecting places with transitions. Petri nets were invented in 1962 by Carl Adam Petri. ([http://en.wikipedia.org/wiki/Petri_net] Wikipedia, retrieved 17:29, 29 February 2008 (MET))

Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems with concurrency and resource sharing. Petri Nets has been under development since the beginning of the 60'ies, where Carl Adam Petri defined the language. It was the first time a general theory for discrete parallel systems was formulated. The language is a generalisation of automata theory such that the concept of concurrently occurring events can be expressed ([http://www.informatik.uni-hamburg.de/TGI/PetriNets/faq/ Petri Net FAQ], retrieved 17:29, 29 February 2008 (MET)).

Petri nets can be used to describe [[workflow]]s. See also [[UML activity diagram]]s, a formalism with similar semantics.

== Tools ==

See the [http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html List of Petri net tools]

* [http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/java/Braunl/ Java Petri net simulator]

== Links ==

* [http://www.informatik.uni-hamburg.de/TGI/PetriNets/ Petri nets world]. (The purpose of the Petri Nets World is to provide a variety of online services for the international Petri Nets community)

[http://informatik.hu-berlin.de/top/pnml/about.html Petri Net Markup Language]

=== Standards ===

* Joint Technical Committee on Information Technology (JTC1), of the International Organisation for Standardisation (ISO) and the International Electrotechnical Commission (IEC).
** [http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=38225 ISO/IEC 15909-1:2004].
** Petri Net Markup Language (PNML) is part 2 of ISO/IEC 1509

* [http://www.informatik.uni-hamburg.de/TGI/PetriNets/standardisation/ Petri Nets Standards] (some more info)

=== Tutorials and introductions ===

* [http://en.wikipedia.org/wiki/Petri_net Petri net] (Wikipedia).

* [http://is.tm.tue.nl/staff/wvdaalst/workflowcourse/ A course on workflow management], TU Eindhoven. in particular: [http://is.tm.tue.nl/staff/wvdaalst/workflowcourse/slides/pn2refresher_long.ppt Petri nets refresher]

== References ==

* Kindler, Ekkart (2006). Concepts, Status, and Future Directions. In E. Schnieder (ed.): Entwurf Komplexer Automatisierungssysteme, EKA 2006, 9. Fachtagung, Braunschweig, Germany, May 2006, pp. 35-55. (describes PNML)

[[Category:Design methodologies]]
[[Category: Workflow]]

Petri net - Revision history

Daniel K. Schneider: Text replacement - "$" to " {{edutechwiki}}"

Daniel K. Schneider: 1 revision imported

Daniel K. Schneider: /* References */