Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 21 results in range #1 to #21.

Computing Minimal Elements of Upward-Closed Sets for Petri Nets: Label: en
The ComBack Method – Extending Hash Compaction with Backtracking: Label: en
Name Creation vs. Replication in Petri Net Systems: Label: en
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets: Label: en
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery: Label: en
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios: Label: en
Operating Guidelines for Finite-State Services: Label: en
Nets with Tokens Which Carry Data: Label: en
Synthesis of Elementary Net Systems with Context Arcs and Localities: Label: en
Web Service Orchestration with Super-Dual Object Nets: Label: en
Object Nets for Mobility: Label: en
Combining Decomposition and Unfolding for STG Synthesis: Label: en
Behaviour-Preserving Transition Insertions in Unfolding Prefixes: Label: en
Complete Process Semantics for Inhibitor Nets: Label: en
History-Dependent Petri Nets: Label: en
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms: Label: en
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets: Label: en
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems: Label: en
Improving Static Variable Orders Via Invariants: Label: en
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets: Label: en
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms: Label: en