scientific article; zbMATH DE number 4047138

MaRDI QIDQ3783589zbMATH OpenFDO

Authors Eike Best, Agathe Merceron

Publication date 1987

zbMATH Keywords

Petri netspartially ordered setsD-continuityoccurrence netsmodels of concurrent systemsconcurrency axiomsDedekind continuitymodel of non-sequential process

Mathematics Subject Classification ID

Partial orders, general (06A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3974309
• D-continuous causal nets: A model of non-sequential processes
• scientific article; zbMATH DE number 193318
• scientific article; zbMATH DE number 809189
• The non-sequential behaviour of Petri nets

Cited in

(10)

• Petri's axioms of concurrency a selection of recent results
• scientific article; zbMATH DE number 4037220 (Why is no real title available?)
• scientific article; zbMATH DE number 4056991 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 3974310 (Why is no real title available?)
• D-continuous causal nets: A model of non-sequential processes
• Axiomatizing Petri net concatenable processes
• The non-sequential behaviour of Petri nets
• scientific article; zbMATH DE number 3974309 (Why is no real title available?)
• scientific article; zbMATH DE number 809189 (Why is no real title available?)

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