scientific article; zbMATH DE number 4121456

MaRDI QIDQ4734770zbMATH OpenFDO

Authors Edward Ochmański

Publication date 1989

zbMATH Keywords

place/transition systemsTraces

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4213467
• Semi-commutations and Petri nets
• A trace semantics for Petri nets
• A partial trace semantics for Petri nets
• Theory of traces

Cited in

(9)

• A partial trace semantics for Petri nets
• Semi-commutations and Petri nets
• scientific article; zbMATH DE number 4213467 (Why is no real title available?)
• scientific article; zbMATH DE number 3978397 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 2087444 (Why is no real title available?)
• Modelling concurrency with semi-commutations
• Semi-commutations and rational expressions
• Möbius functions and confluent semi-commutations

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 Q4734770)