Pages that link to "Item:Q1982990"
From MaRDI portal
The following pages link to Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities (Q1982990):
Displaying 7 items.
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- Local time membrane systems and time Petri nets (Q2285668) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- (Q4965810) (← links)
- Membrane Computing (Q5897732) (← links)
- A tutorial on the formal framework for spiking neural P systems (Q6136470) (← links)