The CPN-AMI platform provides many tools to work on Petri nets, such as verifying or model-checking tools.
32.
Several subclasses of Petri nets have been studied that can still model interesting classes of concurrent systems, while these problems become easier.
33.
However, Petri nets have been criticized for their lack of physical realism ( see Petri net : Subsequent models of concurrency ).
34.
However, Petri nets have been criticized for their lack of physical realism ( see Petri net : Subsequent models of concurrency ).
35.
Subsequent to Petri nets other models of concurrency have been developed that can model asynchronous circuits including the Actor model and process calculi.
36.
Concepts could be applied imperatively or permissively when a Petri ( see Petri net ) condition for synchronous transfer of meaningful information occurred.
37.
Other research focuses on the specification of interaction techniques, sometimes using formalisms such as Petri nets for the purposes of formal verification.
38.
As a result, the original formal semantics of YAWL are defined as a labelled transition system and not in terms of Petri nets.
39.
He documented the Petri net in 1962 as part of his dissertation, " Kommunikation mit Automaten " ( communication with automata ).
40.
Unlike these standards, Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis.
