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

DOI10.1016/0376-5075(82)90112-XzbMath0497.68030MaRDI QIDQ3962472

Michel Diaz

Publication date: 1982

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

zbMATH Keywords

specificationvalidationcommunication and cooperation protocols

Mathematics Subject Classification ID

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

Related Items (2)

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

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