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

DOI10.1134/S0361768808060042MaRDI QIDQ840067zbMATH OpenFDO

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)

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)

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

Cites work

• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 2043473 (Why is no real title available?)
• scientific article; zbMATH DE number 795694 (Why is no real title available?)
• The Petri net markup language
• The practitioner's guide to coloured Petri nets.
• 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
• scientific article; zbMATH DE number 1973983 (Why is no real title available?)
• scientific article; zbMATH DE number 4014015 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 2043473 (Why is no real title available?)
• scientific article; zbMATH DE number 177265 (Why is no real title available?)
• A Compositional Petri Net Semantics for SDL
• scientific article; zbMATH DE number 1629920 (Why is no real title available?)
• scientific article; zbMATH DE number 1629963 (Why is no real title available?)
• scientific article; zbMATH DE number 177506 (Why is no real title available?)
• scientific article; zbMATH DE number 6831517 (Why is no real title available?)
• scientific article; zbMATH DE number 1696459 (Why is no real title available?)

Describes a project that uses

Uses Software

• PNML
• Design/CPN
• CPN/Tools

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)