High-Level Timed Petri Nets as a Kernel for Executable Specifications.

Miguel Felder Carlo Ghezzi Mauro Pezzè

Published in: Real Time Syst. (1993)

Keyphrases

high level
timed petri nets
discrete event systems
low level
formal specification
attribute grammars
control flow
petri net
feature space
dynamical systems
scheduling problem
telecommunication networks
machine learning
neural network
model checking
special case
artificial intelligence