Algebraic Petri net
id:
algebraic-petri-net-316-1096348
title:
Algebraic Petri net
text:
An algebraic Petri net (APN) is an evolution of the well known Petri net in which elements of user defined data types 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. Algebraic Petri nets were invented by Jacques Vautherin in 1985 in his PhD thesis and later improved by Wolfang Reisig. The formalism has two aspects : The
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Algebraic_Petri_net
date created:
date modified:
2021-01-01T21:04:59Z
main entity:
{"identifier":"Q4723984","url":"https://www.wikidata.org/entity/Q4723984"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/6/6a/APNDiningPhilo.png","width":892,"height":382}
fields total:
13
integrity:
14