Causality-Based Testing in Time Petri Nets.

Elena N. Bozhenkova Irina B. Virbitskaite Louchka Popova-Zeugmann

Published in: Ershov Informatics Conference (2019)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
state machines
colored petri nets
fuzzy petri net
ims ld
discrete dynamical systems
service composition
concurrent systems
stochastic petri net
fuzzy logic
process model
sequence diagrams
programmable logic controller