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

DOI10.1134/S0361768808060042zbMATH Open1191.68444MaRDI QIDQ840067FDOQ840067

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

Publication date: 4 September 2009

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

Recommendations

• Verification of Estelle-specified communication protocols using high-level Petri nets
• A Compositional Petri Net Semantics for SDL
• scientific article; zbMATH DE number 1437515
• Petri nets. Fundamental models, verification and applications.
• scientific article; zbMATH DE number 1629963

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)

Cites Work

• Title not available (Why is that?)
• The practitioner's guide to coloured Petri nets.
• The Petri net markup language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification of Estelle-specified communication protocols using high-level Petri nets

Cited In (12)

• Verification of Estelle-specified communication protocols using high-level Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Compositional Petri Net Semantics for SDL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• CPN/Tools
• Design/CPN
• PNML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840067)