Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen

DOI10.1515/AUTO-1992-0106MaRDI QIDQ3991306zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(6)

• Parallel Processing and Applied Mathematics
• scientific article; zbMATH DE number 1982685 (Why is no real title available?)
• Error-correcting Petri nets
• A general method of low-level exception reporting and handling using system predicate classes
• scientific article; zbMATH DE number 1693467 (Why is no real title available?)
• scientific article; zbMATH DE number 1751932 (Why is no real title available?)

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)