Testing experiments on synchronized Petri nets.

Marco Pocci Isabel Demongodin Norbert Giambiasi Alessandro Giua

Published in: CoRR (2013)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
fuzzy petri net
ims ld
state machines
software testing
programmable logic controller
genetic algorithm
test suite
process model
cellular automata
test cases
stochastic petri net
rough sets
web services