An algebraic characterization of independence of Petri net processes.

Józef Winkowski

Published in: Inf. Process. Lett. (2003)

Keyphrases

petri net
process model
manufacturing systems
petri net model
concurrent processes
high level petri nets
discrete event systems
fuzzy petri net
web service composition
service composition
colored petri nets
axiomatic characterization
ims ld
stochastic petri net
workflow models
genetic algorithm