Login / Signup

Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants.

Mario D'AnnaSebastiano Trigila
Published in: Comput. Commun. (1988)
Keyphrases
  • discrete event systems
  • petri net
  • learning environment
  • distributed systems
  • knowledge acquisition
  • mathematical model
  • sequence diagrams