Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen

DOI10.1515/AUTO-1992-0106zbMath0791.68125OpenAlexW2330060554MaRDI QIDQ3991306

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

reliabilityspecification languageexception handlinghigh level Petri netspredicate/transition nets

Mathematics Subject Classification ID

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

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