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

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.

Jannik HülsStefan SchuppAnne RemkeErika Ábrahám
Published in: VALUETOOLS (2017)
Keyphrases
  • petri net
  • petri net model
  • manufacturing systems
  • discrete event systems
  • service composition
  • colored petri nets
  • fuzzy petri net
  • artificial intelligence
  • concurrent systems
  • stochastic petri net
  • ims ld
  • state machines