Login / Signup

A Partial Order Method for the Verification of Time Petri Nets.

Irina B. VirbitskaiteE. Pokozy
Published in: FCT (1999)
Keyphrases
  • petri net
  • petri net model
  • partial order
  • total order
  • high dimensional
  • colored petri nets
  • concurrent systems