Home Spaces and Invariants to Analyze Parameterized Petri Nets.

Published in: CoRR (2024)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
fuzzy petri net
colored petri nets
state machines
process model
discrete dynamical systems
high level petri nets
service composition
stochastic petri net
ims ld
web services
sequence diagrams