Process Semantics of Petri Nets over Partial Algebra.

Jörg Desel Gabriel Juhás Robert Lorenz

Published in: ICATPN (2000)

Keyphrases

petri net
process model
colored petri nets
discrete event systems
petri net model
service composition
state machines
concurrent processes
artificial intelligence
decision making
knowledge based systems
logic programming
manufacturing systems
concurrent systems
fuzzy petri net