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
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
Cited In (5)
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)