An axiomatic characterization of a class of Petri Nets.

Waldemar Korczynski

Published in: Fundam. Informaticae (1991)

Keyphrases

petri net
axiomatic characterization
discrete event systems
petri net model
conditional independence
colored petri nets
manufacturing systems
fuzzy petri net
state machines
stochastic petri net
service composition
web services
ims ld
fuzzy inference