Property Directed Reachability for Generalized Petri Nets.

Nicolas Amat Silvano Dal-Zilio Thomas Hujsa

Published in: TACAS (1) (2022)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
state space
colored petri nets
fuzzy petri net
stochastic petri net
service composition
ims ld
state machines
process model
cellular automata