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

Estefanía Serral Johannes De Smedt Monique 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