Pages that link to "Item:Q4347377"

The following pages link to On the semantics of place/transition Petri nets (Q4347377):

Displaying 25 items.

• Unfolding semantics of graph transformation (Q879600) (← links)
• Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
• Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
• Clustering for Petri nets (Q1884880) (← links)
• Abstract processes of place/transition systems (Q1944098) (← links)
• Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
• ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
• Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
• Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
• A Normal Form for Stateful Connectors (Q2945707) (← links)
• On Causal Semantics of Petri Nets (Q3090821) (← links)
• Branching Processes of Timed Petri Nets (Q3179184) (← links)
• Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
• Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
• Calculi of net structures and sets are similar (Q3515462) (← links)
• Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
• (Q4222788) (← links)
• On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
• (Q4553276) (← links)
• An event structure semantics for graph grammars with parallel productions (Q4645280) (← links)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
• Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
• Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
• Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)
• Whole-grain Petri nets and processes (Q6567261) (← links)