Login / Signup
Applying CEGAR to the Petri Net State Equation.
Harro Wimmel
Karsten Wolf
Published in:
TACAS (2011)
Keyphrases
</>
petri net
manufacturing systems
discrete event systems
petri net model
high level petri nets
service composition
colored petri nets
web service composition
fuzzy petri net
data analysis
process model