Optimizing Verification of Structurally Evolving Algebraic Petri Nets.

Yasir Imtiaz Khan

Published in: SERENE (2013)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
manufacturing systems
high level petri nets
fuzzy petri net
ims ld
service composition
process model
stochastic petri net
model checking
web services
formal methods
sequence diagrams
temporal logic
knowledge acquisition