scientific article; zbMATH DE number 3744562

MaRDI QIDQ3929063zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

concurrencydescription, evaluation and proof of communication protocolshigh level Petri netsinformation flowmathematical analysis of net languagesnet morphismparallelismprogramming languagesrealtime systemsrecoveryreliabilitysoftware engineeringsynchronisation

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(3)

• Serial failure diagnosis of a distributed processing system by Petri nets
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Nets, sequential components and concurrency relations

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 Q3929063)