On compositionality and Petri nets in protocol engineering.

Nikolay A. Anisimov Maciej Koutny

Published in: PSTV (1995)

Keyphrases

petri net
petri net model
colored petri nets
contract net protocol
state machines
manufacturing systems
discrete event systems
software engineering
service composition
ims ld
stochastic petri net
design process
fuzzy petri net
artificial intelligence
production process
sequence diagrams
process model
knowledge base