Hochschulschrift
Abstract Petri nets : uniform approach and rule based refinement
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826516986
3826516982
- Maße
-
21 cm
- Umfang
-
178 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 1996
- Schlagwort
-
Petri-Netz
Verfeinerung
Softwareentwicklung
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
1996
- Urheber
-
Padberg, Julia
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:35 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
- Padberg, Julia
- Shaker
Entstanden
- 1996
Ähnliche Objekte (12)
Tau-Equivalences and Refinement for Petri Nets Based Design
Workflow Nets : Reduction Rules and Games
Refinement and implementation techniques for abstract state machines
Refinement and implementation techniques for Abstract State Machines
Formal Specification and Rule-Based Refinement of Software Components
Rule based refinement for place, transition systems: preserving liveness properties
Design and refinement of NPC rules in digital board games
Unifying Petri nets with restricted occurrence rule using partial algebra
The finite representation of abstract programs by automata and Petri nets
The finite representation of abstract programs by automata and Petri nets
Evaluating probability forecasts in terms of refinement and strictly proper scoring rules
Evaluating Probability Forecasts in Terms of Refinement and Strictly Proper Scoring Rules
Tau-Equivalences and Refinement for Petri Nets Based Design
Workflow Nets : Reduction Rules and Games
Refinement and implementation techniques for abstract state machines
Refinement and implementation techniques for Abstract State Machines
Formal Specification and Rule-Based Refinement of Software Components
Rule based refinement for place, transition systems: preserving liveness properties
Design and refinement of NPC rules in digital board games
Unifying Petri nets with restricted occurrence rule using partial algebra
The finite representation of abstract programs by automata and Petri nets
The finite representation of abstract programs by automata and Petri nets
Evaluating probability forecasts in terms of refinement and strictly proper scoring rules
Evaluating Probability Forecasts in Terms of Refinement and Strictly Proper Scoring Rules
Tau-Equivalences and Refinement for Petri Nets Based Design
Workflow Nets : Reduction Rules and Games
Refinement and implementation techniques for abstract state machines
Refinement and implementation techniques for Abstract State Machines
Formal Specification and Rule-Based Refinement of Software Components
Rule based refinement for place, transition systems: preserving liveness properties
Design and refinement of NPC rules in digital board games
Unifying Petri nets with restricted occurrence rule using partial algebra
The finite representation of abstract programs by automata and Petri nets
The finite representation of abstract programs by automata and Petri nets
Evaluating probability forecasts in terms of refinement and strictly proper scoring rules