Login / Signup

Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.

M. MoallaJacques PulouJoseph Sifakis
Published in: MFCS (1978)
Keyphrases
  • petri net
  • petri net model
  • autonomous systems
  • colored petri nets
  • mathematical model
  • model based diagnosis
  • discrete event systems
  • business processes