Interpreted nets

MaRDI QIDQ5422276zbMATH OpenFDO

Authors Ludwik Czaja

Publication date 17 October 2007

zbMATH Keywords

computation and controlconcurrencyinterpretationPetri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3990881
• scientific article; zbMATH DE number 4131674
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1361137
• scientific article; zbMATH DE number 3885321

Cited in

(10)

• On schematological equivalence of partially interpreted dataflow networks
• Identification of biological transition systems using meta-interpreted logic programs
• scientific article; zbMATH DE number 1629938 (Why is no real title available?)
• scientific article; zbMATH DE number 4131674 (Why is no real title available?)
• Calculi of net structures and sets are similar
• scientific article; zbMATH DE number 3986651 (Why is no real title available?)
• scientific article; zbMATH DE number 3990881 (Why is no real title available?)
• scientific article; zbMATH DE number 177822 (Why is no real title available?)
• scientific article; zbMATH DE number 2090727 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Interpreted nets

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