Computing Parameterized Invariants of Parameterized Petri Nets.

Javier Esparza Mikhail A. Raskin Christoph Welzel

Published in: CoRR (2021)

Keyphrases

petri net
manufacturing systems
ims ld
discrete event systems
high level petri nets
service composition
petri net model
colored petri nets
fuzzy petri net
neural network