Spiking neural P systems: matrix representation and formal verification
Yes === Structural and behavioural properties of models are very important in development of complex systems and applications. In this paper, we investigate such properties for some classes of SN P systems. First, a class of SN P systems associated to a set of routing problems are investigated throu...
| Main Authors: | , , , , |
|---|---|
| Language: | en |
| Published: |
Springer
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10454/18471 |