Sign in

Verification of Distributed Algorithms with Algebraic Petri Nets.

Ekkart KindlerWolfgang Reisig
Published in: Foundations of Computer Science: Potential - Theory - Cognition (1997)
Keyphrases
  • petri net
  • petri net model
  • neural network
  • discrete event systems
  • manufacturing systems
  • colored petri nets