Coverability Synthesis in Parametric Petri Nets.

Nicolas David Claude Jard Didier Lime Olivier H. Roux

Published in: CONCUR (2017)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
fuzzy petri net
high level petri nets
service composition
colored petri nets
state machines
ims ld
sequence diagrams
data analysis
expert systems