Error-correcting Petri nets

DOI10.1007/S11047-009-9150-ZMaRDI QIDQ553909zbMATH OpenOpenAlexFDO

Authors Anastasia Pagnoni

Publication date 28 July 2011

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-009-9150-z

zbMATH Keywords

reachabilitylinear codePetri netmonitoringerror-correction

Mathematics Subject Classification ID

Systems biology, networks (92C42) Linear codes (general theory) (94B05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other types of codes (94B60)

Recommendations

• Petri-Netze
• scientific article; zbMATH DE number 3922334
• Petri nets
• scientific article; zbMATH DE number 979001
• Lectures on Concurrency and Petri Nets
• Petri nets and bisimulation
• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen
• Refining and verifying regular Petri nets
• scientific article; zbMATH DE number 1555184
• Extensional Petri net

Cites work

• scientific article; zbMATH DE number 52519 (Why is no real title available?)
• scientific article; zbMATH DE number 53945 (Why is no real title available?)
• scientific article; zbMATH DE number 2012398 (Why is no real title available?)
• The Complexity of the Finite Containment Problem for Petri Nets

Cited in

(5)

• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen
• scientific article; zbMATH DE number 2012398 (Why is no real title available?)
• How Petri nets might enhance your systems biology toolkit
• Using Petri nets during debugging to localize software errors
• scientific article; zbMATH DE number 1950564 (Why is no real title available?)

This page was built for publication: Error-correcting Petri nets

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