Pages that link to "Item:Q1882900"

The following pages link to Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900):

Displaying 24 items.

• Comparative trace semantics of time Petri nets (Q300337) (← links)
• Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
• Modeling concurrency with interval traces (Q515576) (← links)
• Unfolding semantics of graph transformation (Q879600) (← links)
• Relational structures model of concurrency (Q934912) (← links)
• Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
• Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
• Relational structures for concurrent behaviours (Q1998872) (← links)
• A Petri net view of covalent bonds (Q2077408) (← links)
• Classifying invariant structures of step traces (Q2424691) (← links)
• Dynamic Causality in Event Structures (Q2827451) (← links)
• On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
• Nadia Busi's publications (Q3655765) (← links)
• GETGRATS (Q4923529) (← links)
• (Q5028437) (← links)
• (Q5114821) (← links)
• Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
• Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
• Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
• Step traces (Q5963403) (← links)
• Interval traces with mutex relation (Q6535190) (← links)
• Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
• A reversible perspective on Petri nets and event structures (Q6636620) (← links)