| Information | |
|---|---|
| has gloss | eng: Algebraic Petri Net (APN) is an evolution of the well known Petri net in which elements of User Deļ¬ned Data Types (called Algebraic Abstract Data Types (AADT) ) replace black tokens. This formalism can be compared to Coloured Petri Nets CPN in many aspects. However, in the APN case, the semantics of the data types is given by an axiomatization enabling proofs and computations on it. |
| lexicalization | eng: Algebraic Petri nets |
| instance of | e/Petri net |
| Media | |
|---|---|
| media:img | APNDiningPhilo.png |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint
