Modeling and analysis of communication and cooperation protocols using petri net based models

DOI10.1016/0376-5075(82)90112-XMaRDI QIDQ3962472zbMATH OpenFDO

Authors Michel Diaz

Publication date 1982

Published in Computer Networks (1976) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0376-5075(82)90112-X

zbMATH Keywords

communication and cooperation protocolsspecificationvalidation

Mathematics Subject Classification ID

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

Cited in

(2)

• Verification of hypercube communication structures via parametric Petri nets
• Dynamic analysis of repetitive decision-free discrete-event processes: The algebra of timed marked graphs and algorithmic issues

This page was built for publication: Modeling and analysis of communication and cooperation protocols using petri net based models

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