Operational Petri net semantics for CCSP.

Ernst-Rüdiger Olderog

Published in: European Workshop on Applications and Theory of Petri Nets (1986)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
web service composition
colored petri nets
high level petri nets
process model
service composition
decision making
logic programming
story generation
concurrent systems
e learning
concurrent processes
fuzzy petri net