The following pages link to Petri nets are monoids (Q922720):
Displaying 50 items.
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- On the geometry and algebra of networks with state (Q517043) (← links)
- Extensional Petri net (Q667521) (← links)
- An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- On categories of fuzzy Petri nets (Q763081) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Subobject transformation systems (Q934672) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- An algebraic characterisation of elementary net system (observable) state space (Q1203118) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Linear logic as a logic of computations (Q1326780) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Nets with mana: a framework for chemical reaction modelling (Q2117265) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Incremental construction of coverability graphs (Q2379973) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Process synchronisation as fusion (Q2563765) (← links)
- (Q2851050) (← links)
- General Reversibility (Q2866345) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Ugo Montanari and Friends (Q3507399) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
