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

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior.

Matteo CamilliCarlo BellettiniLorenzo CapraMattia Monga
Published in: SYNASC (2016)
Keyphrases
  • petri net
  • colored petri nets
  • manufacturing systems
  • petri net model
  • fuzzy petri net
  • process model
  • state machines
  • concurrent systems