Trace nets and conflict-free computations

zbMATH Open1097.68098MaRDI QIDQ5486069FDOQ5486069

Authors: Edward Ochmański, Joanna Pieckowska 

Publication date: 6 September 2006

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

zbMATH Keywords

Petri netsconflictstrace nets

Mathematics Subject Classification ID

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

Cited In (4)

• Structural non-interference in elementary and trace nets
• Conflict nets
• A fully abstract trace model for dataflow and asynchronous networks
• 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)