A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.

Didier Lime Olivier H. Roux

Published in: RTSS (2004)

Keyphrases

petri net
petri net model

stochastic petri net
mathematical model

cellular automata
pattern classification

control method