Extended Future in Testing Semantics for Time Petri Nets.

Elena N. Bozhenkova Irina B. Virbitskaite

Published in: CS&P (Revised Selected Papers) (2021)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
fuzzy petri net
colored petri nets
logic programming
service composition
ims ld
discrete dynamical systems
process algebra
state machines
process model
low cost
stochastic petri net
data analysis
test cases
learning process