Coverability in Well-Formed Free-Choice Petri Nets.

Eike Best Raymond R. Devillers

Published in: Taming the Infinities of Concurrency (2024)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
colored petri nets
service composition
ims ld
fuzzy petri net
programmable logic controller
stochastic petri net
state machines
concurrent systems
process model
discrete dynamical systems
sequence diagrams
neural network