TTM/PAT: Specifying and Verifying Timed Transition Models.

Jonathan S. Ostroff Chen-Wei Wang Simon Hudon Yang Liu Jun Sun

Published in: FTSCS (2013)

Keyphrases

petri net
accurate models
decision trees
multiscale
probabilistic model
experimental data
database
data sets
probability distribution
graphical models
statistical models
mathematical models