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 48 results in range #51 to #98.

Synthesis of Persistent Systems: Label: en
Discovering Block-Structured Process Models from Incomplete Event Logs: Label: en
Process Model Discovery: A Method Based on Transition System Decomposition: Label: en
Soundness of Timed-Arc Workflow Nets: Label: en
Complex Networks and Link Streams for the Empirical Analysis of Large Software: Label: en
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking: Label: en
Propagation Nets: Label: en
A CTL* Model Checker for Petri Nets: Label: en
Dynamic Recursive Petri Nets: Label: en
Structural Reductions Revisited: Label: en
Automated Repair of Process Models Using Non-local Constraints: Label: en
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets: Label: en
Circular Traffic Queues and Petri’s Cycloids: Label: en
A Study on Team Bisimulations for BPP Nets: Label: en
Interleaving vs True Concurrency: Some Instructive Security Examples: Label: en
On-the-Fly Synthesis for Strictly Alternating Games: Label: en
A New Property of Choice-Free Petri Net Systems: Label: en
On the High Complexity of Petri Nets $$\omega $$-Languages: Label: en
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions: Label: en
Data Centric Workflows for Crowdsourcing: Label: en
Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account: Label: en
Workflow Management Principles for Interactions Between Petri Net-Based Agents: Label: en
New Search Strategies for the Petri Net CEGAR Approach: Label: en
Process Discovery Using Localized Events: Label: en
Characterizing Stable Inequalities of Petri Nets: Label: en
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper): Label: en
On the Reversibility of Live Equal-Conflict Petri Nets: Label: en
Petri Nets with Structured Data: Label: en
Charlie – An Extensible Petri Net Analysis Tool: Label: en
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets: Label: en
Negotiation Programs: Label: en
Discrete Parameters in Petri Nets: Label: en
Non-atomic Transition Firing in Contextual Nets: Label: en
An SRN-Based Resiliency Quantification Approach: Label: en
On Interval Process Semantics of Petri Nets with Inhibitor Arcs: Label: en
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers: Label: en
Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs: Label: en
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets: Label: en
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets: Label: en
Decidable Classes of Unbounded Petri Nets with Time and Urgency: Label: en
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models: Label: en
Probabilistic Time Petri Nets: Label: en
Anti-alignments in Conformance Checking – The Dark Side of Process Models: Label: en
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics: Label: en
Petri Net Synthesis for Restricted Classes of Nets: Label: en
The Power of Prime Cycles: Label: en
Characterising Petri Net Solvable Binary Words: Label: en
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture: Label: en