Classical Spiking Neural P systems

These examples show case studies modelled with spiking neural P systems.

• Natural numbers - SN P systems
• SAT - SN P systems

It is worth noting that the regular expressions of SN P systems must be given in the P-Lingua files with the syntax accepted by the Oracle Pattern class.