Petri net based description, analysis and simulation of concurrent processes
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: ACM SIGDA Newsletters Jg. 1977 (1977), S. 15-27
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Paderborn
- (wer)
-
Universitätsbibliothek
- (wann)
-
1977
- Urheber
- URN
-
urn:nbn:de:hbz:466:2-5909
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
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.
Beteiligte
- Rammig, Franz Josef
- Universitätsbibliothek
Entstanden
- 1977
Ähnliche Objekte (12)
Semantics of systems of concurrent processes : proceedings
Supervisory control of concurrent systems : a Petri net structural approach
A mapping language for concurrent engineering processes : = Eine Interoperabilitätsmethode zur Unterstützung von Concurrent-Engineering-Prozessen
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
On locality and the exchange law for concurrent processes
Posets with non-actions : a model for concurrent nondeterministic processes
Nonsequential processes : a Petri net view
Collaborative Design Processes: A Class on Concurrent Collaboration in Multidisciplinary Design
Nets, terms and formulas: three views of concurrent processes and their relationship
Simulation of risk processes
Concurrent Kleene Algebra
Concurrent temporal logic
Semantics of systems of concurrent processes : proceedings
Supervisory control of concurrent systems : a Petri net structural approach
A mapping language for concurrent engineering processes : = Eine Interoperabilitätsmethode zur Unterstützung von Concurrent-Engineering-Prozessen
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
On locality and the exchange law for concurrent processes
Posets with non-actions : a model for concurrent nondeterministic processes
Nonsequential processes : a Petri net view
Collaborative Design Processes: A Class on Concurrent Collaboration in Multidisciplinary Design
Nets, terms and formulas: three views of concurrent processes and their relationship
Simulation of risk processes
Concurrent Kleene Algebra
Concurrent temporal logic
Semantics of systems of concurrent processes : proceedings
Supervisory control of concurrent systems : a Petri net structural approach
A mapping language for concurrent engineering processes : = Eine Interoperabilitätsmethode zur Unterstützung von Concurrent-Engineering-Prozessen
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
On locality and the exchange law for concurrent processes
Posets with non-actions : a model for concurrent nondeterministic processes
Nonsequential processes : a Petri net view
Collaborative Design Processes: A Class on Concurrent Collaboration in Multidisciplinary Design
Nets, terms and formulas: three views of concurrent processes and their relationship
Simulation of risk processes
Concurrent Kleene Algebra