Modelling Evolution of Communication Platforms and Scenarios based on Transformations of High-Level Nets and Processes : Extended Version
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2011-08
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
- DOI
-
10.14279/depositonce-10230
- Handle
-
11303/11343
- URN
-
urn:nbn:de:101:1-2020061701581139343324
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 08:53 UTC
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
- Gabriel, Karsten
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (12)
Algebraic High-Level Nets and Processes Applied to Communication Platforms
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Formal transformations of Petri Nets
Low- and High-Level Petri Nets with Individual Tokens
Executability of scenarios in Petri nets
Towards synthesis of Petri nets from scenarios
Intelligent conflict detection of IoT services using high-level Petri nets
Algebraic high level nets and transformations with initial markings
Synthesis of Petri nets from scenarios with VipTool
Testing the executability of scenarios in general inhibitor nets
Theory of regions for the synthesis of inhibitor nets from scenarios
Artificial intelligence for business analytics : algorithms, platforms and application scenarios
Algebraic High-Level Nets and Processes Applied to Communication Platforms
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Formal transformations of Petri Nets
Low- and High-Level Petri Nets with Individual Tokens
Executability of scenarios in Petri nets
Towards synthesis of Petri nets from scenarios
Intelligent conflict detection of IoT services using high-level Petri nets
Algebraic high level nets and transformations with initial markings
Synthesis of Petri nets from scenarios with VipTool
Testing the executability of scenarios in general inhibitor nets
Theory of regions for the synthesis of inhibitor nets from scenarios
Artificial intelligence for business analytics : algorithms, platforms and application scenarios
Algebraic High-Level Nets and Processes Applied to Communication Platforms
Interaction on human-centric communication platforms : modelling and analysis using algebraic high-level nets and processes
Formal transformations of Petri Nets
Low- and High-Level Petri Nets with Individual Tokens
Executability of scenarios in Petri nets
Towards synthesis of Petri nets from scenarios
Intelligent conflict detection of IoT services using high-level Petri nets
Algebraic high level nets and transformations with initial markings
Synthesis of Petri nets from scenarios with VipTool
Testing the executability of scenarios in general inhibitor nets
Theory of regions for the synthesis of inhibitor nets from scenarios