scientific article; zbMATH DE number 4047138

zbMATH Open0642.68110MaRDI QIDQ3783589FDOQ3783589

Authors: Eike Best, Agathe Merceron 

Publication date: 1987

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

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

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)

Cited In (10)

• Petri's axioms of concurrency a selection of recent results
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• D-continuous causal nets: A model of non-sequential processes
• Axiomatizing Petri net concatenable processes
• The non-sequential behaviour of Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)

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)