- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 89, 1997
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2011
- Creator
- DOI
-
10.18452/2494
- URN
-
urn:nbn:de:kobv:11-100190895
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM 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.
Associated
- Kindler, Ekkart
- Völzer, Hagen
- Humboldt-Universität zu Berlin
Time of origin
- 2011
Other Objects (12)
T-invariants of algebraic Petri nets
Algebraic properties of massless free nets
Using Petri nets to parallelize algebraic algorithms
Algebraic System Nets for ModellingDistributed Algorithms
Algebraic high level nets and transformations with initial markings
Transformation systems semantics and compositionality of algebraic Petri nets
Formal approach and applications of algebraic higher-order nets
Algebraic High-Level Nets and Processes Applied to Communication Platforms
Causal nets of operator algebras : mathematical aspects of algebraic quantum field theory
An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
An algebraic approach to timed petri nets with applications to communication networks : extended version
Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets
T-invariants of algebraic Petri nets
Algebraic properties of massless free nets
Using Petri nets to parallelize algebraic algorithms
Algebraic System Nets for ModellingDistributed Algorithms
Algebraic high level nets and transformations with initial markings
Transformation systems semantics and compositionality of algebraic Petri nets
Formal approach and applications of algebraic higher-order nets
Algebraic High-Level Nets and Processes Applied to Communication Platforms
Causal nets of operator algebras : mathematical aspects of algebraic quantum field theory
An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
An algebraic approach to timed petri nets with applications to communication networks : extended version
Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets
T-invariants of algebraic Petri nets
Algebraic properties of massless free nets
Using Petri nets to parallelize algebraic algorithms
Algebraic System Nets for ModellingDistributed Algorithms
Algebraic high level nets and transformations with initial markings
Transformation systems semantics and compositionality of algebraic Petri nets
Formal approach and applications of algebraic higher-order nets
Algebraic High-Level Nets and Processes Applied to Communication Platforms
Causal nets of operator algebras : mathematical aspects of algebraic quantum field theory
An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
An algebraic approach to timed petri nets with applications to communication networks : extended version