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.

Compositional Service Trees: Label: en
Monotonicity in Service Orchestrations: Label: en
Hornets: Nets within Nets Combined with Net Algebra: Label: en
Oclets – Scenario-Based Modeling with Petri Nets: Label: en
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed: Label: en
Hasse Diagram Generators and Petri Nets: Label: en
Orthomodular Lattices in Occurrence Nets: Label: en
P-Semiflow Computation with Decision Diagrams: Label: en
Bisimilarity Minimization in O(m logn) Time: Label: en
Deficiency Zero Petri Nets and Product Form: Label: en
Pomset Languages of Finite Step Transition Systems: Label: en
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication: Label: en
Towards a Standard for Modular Petri Nets: A Formalisation: Label: en
Simple Composition of Nets: Label: en
Unifying Petri Net Semantics with Token Flows: Label: en
AlPiNA: A Symbolic Model Checker: Label: en
New Algorithms for Deciding the Siphon-Trap Property: Label: en
Separability in Persistent Petri Nets: Label: en
Process Mining from a Basis of State Regions: Label: en
Learning Workflow Petri Nets: Label: en
Forward Analysis for Petri Nets with Name Creation: Label: en
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets: Label: en
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets: Label: en
A Characterization of Combined Traces Using Labeled Stratified Order Structures: Label: en
Canonical Transition Set Semantics for Petri Nets: Label: en
Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition: Label: en
Can Stubborn Sets Be Optimal?: Label: en
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future: Label: en
Petri Nets with Localities and Testing: Label: en
Instance Deadlock: A Mystery behind Frozen Programs: Label: en
Process Discovery Using Integer Linear Programming: Label: en
Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning: Label: en
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings: Label: en
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper): Label: en
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs: Label: en
Labeled Step Sequences in Petri Nets: Label: en
Modelling Concurrency with Quotient Monoids: Label: en
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds: Label: en
Hierarchical Set Decision Diagrams and Automatic Saturation: Label: en
Parametric Language Analysis of the Class of Stop-and-Wait Protocols: Label: en
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario: Label: en
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks: Label: en
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets: Label: en
Synthesis of Nets with Step Firing Policies: Label: en
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets: Label: en
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets: Label: en
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study: Label: en
Decomposition Theorems for Bounded Persistent Petri Nets: Label: en
Faster Unfolding of General Petri Nets Based on Token Flows: Label: en
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets: Label: en