Petri net

Petri netsPetri net theoryconcurrent systemsP/T netsPetri-NetTimed-Arc Petri nets
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.wikipedia
182 Related Articles

Carl Adam Petri

Carl A. PetriPetri, Carl Adam
Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes.
Petri created his major scientific contribution, the concept of the Petri net, in 1939 at the age of 13, for the purpose of describing chemical processes.

Concurrency (computer science)

concurrencyconcurrentconcurrently
Since firing is nondeterministic, and multiple tokens may be present anywhere in the net (even in the same place), Petri nets are well suited for modeling the concurrent behavior of distributed systems.
A number of mathematical models have been developed for general concurrent computation including Petri nets, process calculi, the parallel random-access machine model, the actor model and the Reo Coordination Language.

Modeling language

modelling languageSoftware modelingsoftware modelling
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.

Activity diagram

activitiesactivity modelActivity
Like industry standards such as UML activity diagrams, Business Process Model and Notation and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution.
While in UML 1.x, activity diagrams were a specialized form of state diagrams, in UML 2.x, the activity diagrams were reformalized to be based on Petri net-like semantics, increasing the scope of situations that can be modeled using activity diagrams.

Discrete event dynamic system

discrete controldiscrete event systemsdiscrete-event systems
It is a class of discrete event dynamic system.

Reachability problem

reachable
The reachability problem for Petri nets is to decide, given a Petri net N and a marking M, whether M \in R(N).
Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, program analysis, discrete and continuous systems, time critical systems, hybrid systems, rewriting systems, probabilistic and parametric systems, and open systems modelled as games.

Diagram

diagramsdiagrammatic formdiagrammatic
Like industry standards such as UML activity diagrams, Business Process Model and Notation and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution.

Nets within Nets

The term high-level Petri net is used for many Petri net formalisms that extend the basic P/T net formalism; this includes coloured Petri nets, hierarchical Petri nets such as Nets within Nets, and all other extensions sketched in this section.
Nets within Nets is a modelling method belonging to the family of Petri nets.

CPN Tools

The term is also used specifically for the type of coloured nets supported by CPN Tools.
CPN Tools is a tool for editing, simulating, and analyzing high-level Petri nets.

Bipartite graph

bipartitebipartite graphsbipartiteness
A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. events that may occur, represented by bars) and places (i.e. conditions, represented by circles).
In computer science, a Petri net is a mathematical modeling tool used in analysis and simulations of concurrent systems.

Event-driven process chain

Event-driven Process ChainsEvent-driven process chains (EPC)
Like industry standards such as UML activity diagrams, Business Process Model and Notation and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution.

Dualistic Petri nets

Dualistic Petri nets (dPNs) are a process-class variant of Petri nets.

Well-formed Petri net

Well-formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s.

Stochastic Petri net

Stochastic Petri nets are a form of Petri net where the transitions fire after a probabilistic delay determined by a random variable.

Prioritised Petri net

A Prioritised Petri net is a structure (PN, Π) where PN is a Petri net and Π is a priority function that maps transitions into non-negative natural numbers representing their priority level

Vector addition system

Vector addition system with statesvector addition system with states (VASS)
Both VAS and VASS are equivalent in many ways to Petri nets introduced earlier by Carl Adam Petri.

Marked graph

A marked graph is a Petri net in which every place has exactly one incoming arc, and exactly one outgoing arc. This means, that there can not be conflict, but there can be concurrency.

Covering problems

covering problemcoveringcovering LP
Boundedness is decidable by looking at covering, by constructing the Karp–Miller Tree.
For Petri nets, for example, the covering problem is defined as the question if for a given marking, there exists a run of the net, such that some larger (or equal) marking can be reached.

Concurrent computing

concurrentconcurrent programmingconcurrency
Like industry standards such as UML activity diagrams, Business Process Model and Notation and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution.

EXPSPACE

NEXPSPACEexponential spaceexponential space completeness
In fact, this problem was shown to be EXPSPACE-hard years before it was shown to be decidable at all (Mayr, 1981).
The reachability problem for Petri Nets is EXPSPACE-hard.

Workflow management system

workflow managementWorkflow systemworkflow
The underlying theoretical basis of workflow management is the mathematical concept of a Petri net.

Process architecture

architecturesprocess systems
well-suited to being modeled by the bipartite Petri nets modeling system and in particular, process-class dualistic Petri nets where processes can be simulated in real time and space and studied hierarchically.

Boolean differential calculus

boolean derivativeboolean differencePotential variable (Boolean differential calculus)

Coloured Petri net

Colored Petri netcoloured Petri nets
Some of them are completely backwards-compatible (e.g. coloured Petri nets) with the original Petri net, some add properties that cannot be modelled in the original Petri net formalism (e.g. timed Petri nets).
Coloured Petri nets are a backward compatible extension of the mathematical concept of Petri nets.

Process calculus

process calculiprocess algebracalculus
Other ways of modelling concurrent computation have been proposed, including process algebra, the actor model, and trace theory.
Models of concurrency such as the process calculi, Petri nets in 1962, and the actor model in 1973 emerged from this line of inquiry.