A Review of Petri Net Modeling of Dynamical Systems

Journal Title: Indian Journal of Computer Science and Engineering - Year 2012, Vol 3, Issue 4

Abstract

Petri nets are graphical and mathematical modeling tools which are gaining popularity in recent years. It is a tool for the representation of complex logical systems, such as synchronization, sequentially, concurrency and conflict. The present introduction highlights some of the formalism of Petri nets with special emphasis on reachability and coverability analysis. We have also extended our topic by explaining place & transition invariance with examples.

Authors and Affiliations

Arundhati Lenka , Dr. Chakradhar Das

Keywords

Related Articles

AN IMPROVED DOMAIN CLASSIFICATION SCHEME BASED ON LOCAL FRACTAL DIMENSION

In fractal image compression, most of the time during encoding is spent for finding the best matching pair of range-domain blocks. Different techniques have been analyzed for decreasing the number of operations required...

A brief introduction to Combinatorial Game Theory through the analysis of the impartial perfect information game – Nim

Combinatorial game theory is an upcoming field with wide applications in areas of mathematics and computer science. In this paper, we try to define a combinatorial game. Then we show a very simple example of one such gam...

An Efficient Architecture and Enhanced Security to Cloud Services for Users

The idea of a Cloud Service Broker(CSB) is quickly developing. The general part of the CSB is to transitional cloud Administrations. Where it has certain disadvantage. It is not customizable the way you want, no privacy,...

A Review of Malicious Attack in Mobile Ad-Hoc Network Based On Power Constraints

The minimization of power in wireless sensor network is big issue. If the process of energy constraints is optimized increase the reliability and security of mobile ADHOC network. The management of ADHOC network is great...

“EVALUATION OF GOVERNMENT OFFICER PERFORMANCE USING FUZZYLOGIC TECHNIQUES”

Many government departments use seniority as criteria for promotion, not as Performance. But recent 6th pay commission recommends, performance based promotion system. In this regard, All Group A Officers of the Central g...

Download PDF file
  • EP ID EP156108
  • DOI -
  • Views 137
  • Downloads 0

How To Cite

Arundhati Lenka, Dr. Chakradhar Das (2012). A Review of Petri Net Modeling of Dynamical Systems. Indian Journal of Computer Science and Engineering, 3(4), 605-621. https://europub.co.uk/articles/-A-156108