Sign in
Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model.
Marcin Jamro
Dariusz Rzonca
Wojciech Rzasa
Published in:
Comput. Ind. (2015)
Keyphrases
</>
colored petri nets
petri net
artificial intelligence
computational model
mathematical model
finite state machines
formal model
high level
prior knowledge
cost function
probabilistic model
management system
experimental data
conceptual model
discrete event