scientific article; zbMATH DE number 1435986

MaRDI QIDQ4948015zbMATH OpenFDO

Authors Marta Pietkiewicz-Koutny

Publication date 21 August 2000

zbMATH Keywords

elementary net systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1786642
• scientific article; zbMATH DE number 1305003
• Synthesis of nets with inhibitor arcs
• Synthesis of elementary net systems with context arcs and localities

Cited in

(16)

• Synthesis of Elementary Net Systems with Context Arcs and Localities
• Relational structures model of concurrency
• scientific article; zbMATH DE number 1786642 (Why is no real title available?)
• Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues
• Synthesis of nets with inhibitor arcs
• Transition systems of Elementary Net Systems with inhibitor arcs
• Synthesis of elementary net systems with context arcs and localities
• scientific article; zbMATH DE number 1820089 (Why is no real title available?)
• Synthesis of Nets with Step Firing Policies
• Synthesising elementary net systems with localities
• Synthesis and analysis of net structures and transition graphs with inhibitor relations
• Step semantics of Boolean nets
• Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
• Modelling concurrency with comtraces and generalized comtraces
• Tissue Systems and Petri Net Synthesis
• Strategies for minimising the synthesised ENL-systems

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