A Formal Framework for Petri Net Class Transformations.

Francesco Parisi-Presicce

Published in: Petri Net Technology for Communication-Based Systems (2003)

Keyphrases

petri net
petri net model
process model
web service composition
distributed systems
knowledge acquisition
manufacturing systems
service composition
discrete event systems