Hochschulschrift
On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidance
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783486228595
3486228595
- Maße
-
24 cm
- Umfang
-
X, 216 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Koblenz, Landau, Univ., Diss., 1993
- Erschienen in
-
Berichte der Gesellschaft für Mathematik und Datenverarbeitung / Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 221
- Schlagwort
-
Nebenläufigkeit
Verklemmung
Petri-Netz
- Ereignis
-
Veröffentlichung
- (wo)
-
München, Wien
- (wer)
-
Oldenbourg
- (wann)
-
1994
- Urheber
-
Cacutalua, Ndombe
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:08 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Cacutalua, Ndombe
- Oldenbourg
Entstanden
- 1994
Ähnliche Objekte (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