Partial Order Reduction for Timed Actors.

Maryam Bagheri Marjan Sirjani Ehsan Khamespanah Hossein Hojjat Ali Movaghar

Published in: VSTTE (2021)

Keyphrases

partial order reduction
model checking
petri net
timed automata
social networks
finite state machines
genetic algorithm
information systems
artificial neural networks
colored petri nets
decision trees
query processing
probability distribution
state space