Dynamic Slicing Techniques for Petri Nets.

Marisa Llorens Javier Oliver Josep Silva Salvador Tamarit Germán Vidal

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

petri net
manufacturing systems
colored petri nets
contract net protocol
petri net model
discrete event systems
multi agent systems
ims ld
state machines
fuzzy petri net
high level petri nets
service composition
artificial intelligence
process model
concurrent systems
concurrent processes