scientific article; zbMATH DE number 177506

MaRDI QIDQ4037376zbMATH OpenFDO

Authors Jean Christophe Lloret, Pierre Azéma, François Vernadat

Publication date 18 May 1993

zbMATH Keywords

incremental descriptionlabelled Petri netsmodular specificationparametrizationprotocols

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 177265
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 865194
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
• scientific article; zbMATH DE number 1437515

Cited in

(6)

• A methodology for constructing communication protocols with multiple concurrent functions
• On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
• scientific article; zbMATH DE number 177265 (Why is no real title available?)
• scientific article; zbMATH DE number 865194 (Why is no real title available?)
• A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
• Channel Properties of Asynchronously Composed Petri Nets

This page was built for publication:

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