Pages that link to "Item:Q1091145"

The following pages link to Petri nets, algebras, morphisms, and compositionality (Q1091145):

Displaying 32 items.

• An event structure semantics for general Petri nets (Q672871) (← links)
• Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
• Petri nets and bisimulation (Q672873) (← links)
• On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
• Refinement of actions in event structures and causal trees (Q688717) (← links)
• Unfolding semantics of graph transformation (Q879600) (← links)
• A partial ordering semantics for CCS (Q914400) (← links)
• Petri nets are monoids (Q922720) (← links)
• A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
• Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
• An algebraic characterisation of elementary net system (observable) state space (Q1203118) (← links)
• Non-interleaving semantics for mobile processes (Q1285660) (← links)
• Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
• Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
• Functorial models for Petri nets (Q1854467) (← links)
• Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
• Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
• Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
• A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
• The structure of first-order causality (Q3081323) (← links)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
• Calculi of net structures and sets are similar (Q3515462) (← links)
• Grammar Morphisms and Weakly Adhesive Categories (Q3540427) (← links)
• Causality for mobile processes (Q4645219) (← links)
• An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
• On the category of Petri net computations (Q5096741) (← links)
• Bipartite graphs as polynomials and polynomials as bipartite graphs (Q5162789) (← links)
• Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
• Computing alignments with maximum synchronous moves via replay in coordinate planes (Q6191633) (← links)
• Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
• Whole-grain Petri nets and processes (Q6567261) (← links)