Modeling Timed Concurrent Systems.

Xiaojun Liu Eleftherios Matsikoudis Edward A. Lee

Published in: CONCUR (2006)

Keyphrases

concurrent systems
petri net
distributed systems
colored petri nets
temporal logic
model checking
formal specification
process algebra
data sets
business processes
multi agent
search algorithm
evolutionary algorithm
modeling language
modeling framework
timed automata