Login / Signup

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

Didier LimeOlivier H. Roux
Published in: RTSS (2004)
Keyphrases
  • petri net
  • petri net model
  • stochastic petri net
  • mathematical model
  • cellular automata
  • pattern classification
  • control method