Error-correcting Petri nets

DOI10.1007/S11047-009-9150-ZzbMATH Open1217.68153OpenAlexW2011823321MaRDI QIDQ553909FDOQ553909

Authors: Anastasia Pagnoni Error creating thumbnail:

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

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

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)

Cites Work

• The Complexity of the Finite Containment Problem for Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Using Petri nets during debugging to localize software errors
• How Petri nets might enhance your systems biology toolkit
• Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen

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)