scientific article; zbMATH DE number 3677208

MaRDI QIDQ3873555zbMATH OpenFDO

Authors C. A. Petri

Publication date 1979

zbMATH Keywords

casesconcurrencyconditionconflict resolutiondistributed processingenlogic structureeventprocessessynchronic structure

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10) Axiomatic systems theory (93A05)

Cited in

(11)

• Petri nets, event structures and domains. I
• An algebraic description of system behaviours
• An abstract machine for concurrent modular systems: CHARM
• Amalgamation of graph transformations: a synchronization mechanism
• Structure matrices for Petri nets and their applications
• Petri's axioms of concurrency a selection of recent results
• Universal axioms for bisimulations
• Graph rewriting for a partial ordering semantics of concurrent constraints programming
• D-continuous causal nets: A model of non-sequential processes
• Nets, sequential components and concurrency relations
• A partial ordering semantics for CCS

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