Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen

DOI10.1515/AUTO-1992-0106zbMATH Open0791.68125OpenAlexW2330060554MaRDI QIDQ3991306FDOQ3991306

Authors: Andreas Oberweis 

Publication date: 28 June 1992

Published in: at - Automatisierungstechnik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/auto-1992-0106

Recommendations

• Petri-Netze
• scientific article; zbMATH DE number 3922334
• Petri nets
• scientific article; zbMATH DE number 979001
• scientific article; zbMATH DE number 1216234
• Extensional Petri net
• scientific article; zbMATH DE number 4018378
• Error-correcting Petri nets
• A Petri-net approach to refining object behavioural specifications
• scientific article; zbMATH DE number 1191244

zbMATH Keywords

reliabilityexception handlingspecification languagehigh level Petri netspredicate/transition nets

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (6)

• Parallel Processing and Applied Mathematics
• Title not available (Why is that?)
• Error-correcting Petri nets
• A general method of low-level exception reporting and handling using system predicate classes
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen

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