Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets.

Jonathan Billington

Published in: Petri Nets (2) (1996)

Keyphrases

coloured petri nets
protocol specification
formal verification
communication protocols
formal specification
web services
communication networks
transformation rules