Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.

Didier Lime Olivier H. Roux Charlotte Seidner

Published in: Petri Nets (2019)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
fuzzy petri net
programmable logic controller
high level petri nets
service composition
sequence diagrams
colored petri nets
concurrent systems
concurrent processes
stochastic petri net
discrete dynamical systems
state machines
low cost