Testing Equivalences of Time Petri Nets.

Elena N. Bozhenkova Irina B. Virbitskaite

Published in: Program. Comput. Softw. (2020)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
colored petri nets
fuzzy petri net
stochastic petri net
ims ld
process model
concurrent systems
programmable logic controller
knowledge base