Jump to content

User:Steve.hostettler

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Steve.hostettler (talk | contribs) at 10:19, 4 January 2009. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.


Algebraic Petri Nets are an evolution of the well known P/T Petri_nets in which instances of User Defined Data Types called Algebraic Abstract Data Types (AADT) replace black tokens. The semantic of the data types is user-defined and this formalism can be compared to Coloured Petri Nets [12]. Algebraic Petri Nets where invented by Jacques Vauterin in is PhD thesis [] and later reworked by Reisig.