Pages that link to "Item:Q496035"
From MaRDI portal
The following pages link to Verification of membrane systems with delays via Petri nets with delays (Q496035):
Displaying 7 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- A Petri net view of covalent bonds (Q2077408) (← 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)