-Editor: Compositional Petri Net Editor for Protocol Specification.

Nikolay A. Anisimov Aleksey Kavalenko Pavel Postupalski

Published in: MASCOTS (1995)

Keyphrases

petri net
discrete event systems
petri net model
protocol specification
manufacturing systems
web service composition
colored petri nets
fuzzy petri net
stochastic petri net
machine learning
high dimensional
software engineering
process model