Petri Nets and Self-Stabilization of Communication Protocols.

Wuxu Peng Kia Makki

Published in: Informatica (Slovenia) (1996)

Keyphrases

communication protocols
petri net
petri net model
communication protocol
manufacturing systems
service composition
discrete event systems
process algebra
ims ld
communication networks
state machines
colored petri nets
concurrent systems
protocol specification
fuzzy petri net
stochastic petri net