Pages that link to "Item:Q1854468"

The following pages link to Contextual Petri nets, asymmetric event structures, and processes (Q1854468):

Displaying 40 items.

• Comparative trace semantics of time Petri nets (Q300337) (← links)
• Reduction of event structures under history preserving bisimulation (Q338613) (← links)
• ST-structures (Q338620) (← links)
• What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
• Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
• Configuration structures, event structures and Petri nets (Q843106) (← links)
• Unfolding semantics of graph transformation (Q879600) (← links)
• Reversibility and asymmetric conflict in event structures (Q890616) (← links)
• Boolean networks: beyond generalized asynchronicity (Q1656683) (← links)
• Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
• Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
• Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
• Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
• Minimisation of event structures (Q2084951) (← links)
• Pomset bisimulation and unfolding for reset Petri nets (Q2113378) (← links)
• Branching cells for asymmetric event structures (Q2253176) (← links)
• Application of branching cells to QoS aware service orchestrations (Q2253177) (← links)
• A verified algorithm enumerating event structures (Q2364684) (← links)
• Towards a categorical representation of reversible event structures (Q2423742) (← links)
• Dynamic Causality in Event Structures (Q2827451) (← links)
• A Formal Model for the Deferred Update Replication Technique (Q2830037) (← links)
• Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs (Q2941141) (← links)
• Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
• Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
• Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
• Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
• Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
• McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
• (Q4553276) (← links)
• GETGRATS (Q4923529) (← links)
• Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
• (Q5028437) (← links)
• (Q5114821) (← links)
• Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
• Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
• Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
• Concurrency in Boolean networks (Q6151158) (← links)
• Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
• Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)