The following pages link to (Q3505124):
Displaying 12 items.
- Localities in systems with a/sync communication (Q418785) (← links)
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Step coverability algorithms for communicating systems (Q433351) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- Signal set tissue systems and overlapping localities (Q1682863) (← links)
- Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities (Q1982990) (← links)
- Modeling biological gradient formation: combining partial differential equations and Petri nets (Q2311279) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
- Membrane Computing (Q5897732) (← links)
- Type inference for hierarchical multiset structures in rule-based systems (Q6186981) (← links)