Computing Parameterized Invariants of Parameterized Petri Nets.

Javier Esparza Mikhail A. Raskin Christoph Welzel

Published in: Petri Nets (2021)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
colored petri nets
fuzzy petri net
high level petri nets
service composition
concurrent systems
low cost
process model
programmable logic controller