A Concurrent and Compositional Petri Net Semantics of Preemption.

Hanna Klaudel Franck Pommereau

Published in: IFM (2000)

Keyphrases

petri net
concurrent processes
petri net model
discrete event systems
manufacturing systems
logic programming
high level petri nets
fuzzy petri net
service composition
colored petri nets
web service composition
concurrent systems
business processes
stochastic petri net
knowledge base
process model
medical images