Sign in
Operational analysis of timed Petri nets and application to the computation of performance bounds.
Giovanni Chiola
Cosimo Anglano
Javier Campos
José Manuel Colom
Manuel Silva Suárez
Published in:
PNPM (1993)
Keyphrases
</>
neural network
machine learning
artificial intelligence
data analysis
petri net
model checking
discrete event systems