Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets.

Yann Thierry-Mieg

Published in: PNSE@Petri Nets (2023)

Keyphrases

petri net
colored petri nets
petri net model
high level petri nets
manufacturing systems
process model
service composition
state machines
stochastic petri net