scientific article; zbMATH DE number 3235663

zbMath0146.14404MaRDI QIDQ5523291

C. A. Petri

Publication date: 1963

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

numerical analysis

Related Items

Unnamed Item, Propositional Dynamic Logic for Petri Nets with Iteration, Specification and verification of concurrent systems by causality and realizability, Methods and means of parallel processing of information, State-transition structures in physics and in computation, A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models, Causality in physics and computation, Relating state-based and process-based concurrency through linear logic (full-version), Models and emerging trends of concurrent constraint programming, A formal semantics for concurrent systems with a priority relation