• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Petri Net Analysis Using Invariant Generation.

Sriram SankaranarayananHenny SipmaZohar Manna
Published in: Verification: Theory and Practice (2003)
Keyphrases
  • petri net
  • knowledge based systems
  • neural network
  • discrete event systems
  • machine learning
  • data analysis
  • control system
  • petri net model
  • high level petri nets