Trace nets and conflict-free computations

MaRDI QIDQ5486069zbMATH OpenFDO

Authors Edward Ochmański, Joanna Pieckowska

Publication date 6 September 2006

zbMATH Keywords

Petri netsconflictstrace nets

Mathematics Subject Classification ID

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

Recommendations

• Learning sunspot classification
• Trace nets and process automata
• scientific article; zbMATH DE number 4070337
• scientific article; zbMATH DE number 1341759
• Linear time analysis of properties of conflict-free and general Petri nets

Cited in

(5)

• A fully abstract trace model for dataflow and asynchronous networks
• Conflict nets
• Confusion-tolerant computation of probability in acyclic nets
• Structural non-interference in elementary and trace nets
• Learning sunspot classification

This page was built for publication: Trace nets and conflict-free computations

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