C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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