From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.

Pierre Ganty Jean-François Raskin Laurent Van Begin

Published in: Fundam. Informaticae (2008)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
concurrent processes
high level petri nets
fuzzy petri net
service composition
process model
stochastic petri net
ims ld
colored petri nets
programmable logic controller
state machines
artificial intelligence
simulation model