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 50 results in range #1 to #50.

Saturation Enhanced with Conditional Locality: Application to Petri Nets: Label: en
Taking Some Burden Off an Explicit CTL Model Checker: Label: en
Modal Open Petri Nets: Label: en
Describing Behavior of Processes with Many-to-Many Interactions: Label: en
From DB-nets to Coloured Petri Nets with Priorities: Label: en
Coverability and Termination in Recursive Petri Nets: Label: en
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets: Label: en
The Combinatorics of Barrier Synchronization: Label: en
Parameterized Analysis of Immediate Observation Petri Nets: Label: en
Improving Saturation Efficiency with Implicit Relations: Label: en
Finding Complex Process-Structures by Exploiting the Token-Game: Label: en
Generalized Alignment-Based Trace Clustering of Process Behavior: Label: en
Reversing Unbounded Petri Nets: Label: en
On Interval Semantics of Inhibitor and Activator Nets: Label: en
Reversing Steps in Petri Nets: Label: en
Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets: Label: en
Hardness Results for the Synthesis of b-bounded Petri Nets: Label: en
Articulation of Transition Systems and Its Application to Petri Net Synthesis: Label: en
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums: Label: en
Channel Properties of Asynchronously Composed Petri Nets: Label: en
Unifying the Semantics of Modular Extensions of Petri Nets: Label: en
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows: Label: en
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach: Label: en
Hierarchical Conformance Checking of Process Models Based on Event Logs: Label: en
Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case: Label: en
The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework: Label: en
Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology: Label: en
A Taxonomy of Persistent and Nonviolent Steps: Label: en
Step Persistence in the Design of GALS Systems: Label: en
Complexity Analysis of Continuous Petri Nets: Label: en
Complexity Results for Elementary Hornets: Label: en
On Multi-enabledness in Time Petri Nets: Label: en
Expressing and Computing Passage Time Measures of GSPN Models with HASL: Label: en
A Semantics for Every GSPN: Label: en
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets: Label: en
ω-Petri Nets: Label: en
Contextual Merged Processes: Label: en
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets: Label: en
The Right Timing: Reflections on the Modeling and Analysis of Time: Label: en
On the Reversibility of Well-Behaved Weighted Choice-Free Systems: Label: en
A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application: Label: en
Dynamic Networks of Timed Petri Nets: Label: en
Analysis of Petri Net Models through Stochastic Differential Equations: Label: en
Exhibition of a Structural Bug with Wings: Label: en
On Weighted Petri Net Transducers: Label: en
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems: Label: en
Non-interference by Unfolding: Label: en
Flow Unfolding of Multi-clock Nets: Label: en
A Programming Language for Spatial Distribution of Net Systems: Label: en
Learning Transparent Data Automata: Label: en