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

Support for Verifying Pervasive Behavior by Mapping Task Models to Petri Nets.

Estefanía SerralJohannes De SmedtMonique Snoeck
Published in: SEAA (2017)
Keyphrases
  • petri net
  • stochastic petri net
  • discrete event systems
  • manufacturing systems
  • petri net model
  • process model
  • service composition
  • workflow models
  • complex systems
  • colored petri nets