scientific article; zbMATH DE number 1341759

zbMATH Open0935.68075MaRDI QIDQ4263304FDOQ4263304

Authors: Jean Fanchon 

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

Recommendations

• Trace nets and process automata
• A trace semantics for Petri nets
• A trace semantics for Petri Nets
• A partial trace semantics for Petri nets
• On trace-expressible behaviour of Petri nets

zbMATH Keywords

coloured netsFifo nets

Mathematics Subject Classification ID

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

Cited In (3)

• Trace nets and process automata
• Trace nets and conflict-free computations
• Learning sunspot classification

This page was built for publication:

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