scientific article; zbMATH DE number 1435986
From MaRDI portal
Publication:4948015
zbMATH Open0942.68083MaRDI QIDQ4948015FDOQ4948015
Authors: Marta Pietkiewicz-Koutny 
Publication date: 21 August 2000
Title of this publication is not available (Why is that?)
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (16)
- Relational structures model of concurrency
- Title not available (Why is that?)
- 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
- Synthesis of Nets with Step Firing Policies
- Title not available (Why is that?)
- 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
- Strategies for minimising the synthesised ENL-systems
- Modelling concurrency with comtraces and generalized comtraces
- Tissue Systems and Petri Net Synthesis
- Synthesis of Elementary Net Systems with Context Arcs and Localities
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)
