Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report.

Francesco Di Cosmo Tephilla Prince

Published in: CILC (2024)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
service composition
state machines
high level petri nets
manufacturing systems
ims ld
fuzzy petri net
stochastic petri net
discrete dynamical systems
knowledge base
model checking
production process