Occurrence nets then and now: the path to structured occurrence nets

DOI10.1007/978-3-642-21834-7_1MaRDI QIDQ3011878zbMATH OpenOpenAlexFDO

Authors Brian Randell

Publication date 29 June 2011

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21834-7_1

zbMATH Keywords

abstractionatomicitydeadlock avoidancedependabilityerrorsfailure analysisfailuresfaultsformal analysisjudgementoccurrence nets

Mathematics Subject Classification ID

History of computer science (68-03) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1515286
• Failures: Their Definition, Modelling and Analysis
• Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques
• scientific article; zbMATH DE number 3885321
• scientific article; zbMATH DE number 3982529

Cites work

• A formal model of atomicity in asynchronous systems
• A technique of state space search based on unfolding
• Failures: Their Definition, Modelling and Analysis
• scientific article; zbMATH DE number 3956436 (Why is no real title available?)
• scientific article; zbMATH DE number 3463157 (Why is no real title available?)
• scientific article; zbMATH DE number 3562504 (Why is no real title available?)
• scientific article; zbMATH DE number 5042671 (Why is no real title available?)
• Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques
• The Merlin-Randell problem of train journeys
• Unfoldings: A partial-order approach to model checking.
• Verification of bounded Petri nets using integer programming

Cited in

(8)

• Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques
• Failures: Their Definition, Modelling and Analysis
• scientific article; zbMATH DE number 3917724 (Why is no real title available?)
• scientific article; zbMATH DE number 4024802 (Why is no real title available?)
• Computing the reveals relation in occurrence nets
• Localities in systems with a/sync communication
• scientific article; zbMATH DE number 1515286 (Why is no real title available?)
• Building occurrence nets from reveals relations

Describes a project that uses

Uses Software

• Workcraft

This page was built for publication: Occurrence nets then and now: the path to structured occurrence nets

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