Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

DOI10.1134/S0361768808060042zbMath1191.68444MaRDI QIDQ840067

V. A. Nepomniaschy, D. M. Beloglazov, E. A. Chetvertakov, T. G. Churina, V. S. Argirov, A. V. Bystrov

Publication date: 4 September 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

hierarchical typed timed Petri netsSDL protocol verifier

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• CPN/Tools
• Design/CPN
• PNML

Cites Work

• The practitioner's guide to coloured Petri nets.
• The Petri Net Markup Language
• Verification of Estelle-specified communication protocols using high-level Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling and verification of the SDL-specified communication protocols using high-level Petri nets