Proceedings ArticleDOI
Modeling spiking neural P systems using timed Petri nets
Venkata Padmavati Metta,Kamala Krithivasan,Deepak Garg +2 more
- pp 25-30
Reads0
Chats0
TLDR
Deterministic P-timed Petri nets with inhibitory and test arcs can simulate an SN P system and a method is proposed to translate anSN P system into Petri net model.Abstract:
This paper shows that deterministic P-timed Petri nets with inhibitory and test arcs can simulate an SN P system. A method is proposed to translate an SN P system into Petri net model and is illustrated with an example.read more
Citations
More filters
Book ChapterDOI
On structures and behaviors of spiking neural p systems and petri nets
TL;DR: This work considers SNP systems that have source and sink neurons, and the initial configuration of the system is where only the source neuron has only one spike, and routes the initial single spike through the system to the sink neuron, using routing constructs.
Journal ArticleDOI
Modelling and analysis of spiking neural P systems with anti-spikes using Pnet lab
TL;DR: A methodology to simulate SN PA systems using a Petri net tool called Pnet Lab provides a promising way to represent typical working processes of these systems because of its parallel execution semantics and appropriateness.
Transaction Management for Distributed Database using Petri Nets
TL;DR: The Two Phase Commit (2PC) protocol for distributed transactions is modeled with the help of a timed Petri net to analyze the ACID property for consistent commitment of distributed transactions.
Journal ArticleDOI
Performing Balanced Ternary Logic and Arithmetic Operations with Spiking Neural P Systems with Anti-Spikes
TL;DR: This paper uses this variant of SN P system to simulate universal balanced ternary logic gates including AND,OR and NOT gate and to perform some basic balancedTernary arithmetic operations like addition and subtraction on balanced terNary integers.
Book ChapterDOI
Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets
TL;DR: A formal method based on Petri nets is proposed, which provides a natural and powerful framework to formalize SN P systems with anti-spikes, which enables the use of existing tools for Petrinets to study the computability and behavioural properties of SN P system withAnti-spike.
References
More filters
Journal ArticleDOI
Computing with Membranes
TL;DR: It is proved that the P systems with the possibility of objects to cooperate characterize the recursively enumerable sets of natural numbers; moreover, systems with only two membranes suffice.
Book
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
TL;DR: The third volume of a definitive work on coloured Petri nets as discussed by the authors contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, a naval vessel, chemical processing, nuclear waste management, and many more.
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods
TL;DR: This is the third volume of a definitive work on coloured Petri nets and contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, and many more.
Book
Coloured Petri Nets
Kurt Jensen,M.Kristensen. Lars +1 more
TL;DR: All users of CP-nets are forced to make simulations because it is impossible to construct a CP-net without thinking about the possible effects of the individual transitions, and the proper question is not whether the modeller should make simulations or not, but whether he wants computer support for the simulation activity.
Journal Article
Spiking Neural P Systems
TL;DR: In this article, the authors introduce a class of neural-like P systems which they call spiking neural P systems (in short, SN P systems), in which the result of a computation is the time between the moments when a specified neuron spikes.