Hochschulschrift
On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidance
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783486228595
3486228595
- Dimensions
-
24 cm
- Extent
-
X, 216 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Koblenz, Landau, Univ., Diss., 1993
- Bibliographic citation
-
Berichte der Gesellschaft für Mathematik und Datenverarbeitung / Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 221
- Keyword
-
Nebenläufigkeit
Verklemmung
Petri-Netz
- Event
-
Veröffentlichung
- (where)
-
München, Wien
- (who)
-
Oldenbourg
- (when)
-
1994
- Creator
-
Cacutalua, Ndombe
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:08 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Cacutalua, Ndombe
- Oldenbourg
Time of origin
- 1994
Other Objects (12)
Supervisory control of concurrent systems : a Petri net structural approach
Labor Supply Prediction when Tax Avoidance Matters
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Model-based performance prediction for concurrent software on multicore architectures - a simulation-based approach
Relief: approach behavior and avoidance goals
Specifying and validating consistent and dynamically evolving concurrent information systems : an object Petri net based approach
Petri net based description, analysis and simulation of concurrent processes
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
Conclog: a methodological approach to concurrent logic programming
Specification and analysis of concurrent systems : the COSY approach
Oral approach–avoidance: Affective consequences of muscular articulation dynamics
The Role of Fluency in Oral Approach and Avoidance
Supervisory control of concurrent systems : a Petri net structural approach
Labor Supply Prediction when Tax Avoidance Matters
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Model-based performance prediction for concurrent software on multicore architectures - a simulation-based approach
Relief: approach behavior and avoidance goals
Specifying and validating consistent and dynamically evolving concurrent information systems : an object Petri net based approach
Petri net based description, analysis and simulation of concurrent processes
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
Conclog: a methodological approach to concurrent logic programming
Specification and analysis of concurrent systems : the COSY approach
Oral approach–avoidance: Affective consequences of muscular articulation dynamics
The Role of Fluency in Oral Approach and Avoidance
Supervisory control of concurrent systems : a Petri net structural approach
Labor Supply Prediction when Tax Avoidance Matters
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Model-based performance prediction for concurrent software on multicore architectures - a simulation-based approach
Relief: approach behavior and avoidance goals
Specifying and validating consistent and dynamically evolving concurrent information systems : an object Petri net based approach
Petri net based description, analysis and simulation of concurrent processes
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
Conclog: a methodological approach to concurrent logic programming
Specification and analysis of concurrent systems : the COSY approach
Oral approach–avoidance: Affective consequences of muscular articulation dynamics