Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations.

Thomas S. Heinze Wolfram Amme Simon Moser

Published in: SOCA (2014)

Keyphrases

petri net
stochastic petri net
web service composition
petri net model
service composition
concurrent systems
colored petri nets
process model
complex systems
ims ld
decision making
web services
machine learning
story generation
high level petri nets