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
- EP ID EP156108
- DOI -
- Views 124
- Downloads 0
COMPUTATIONAL MODELS FOR SUSTAINABLE DEVELOPMENT
Genetic erosion is a serious problem and computational models have been developed to prevent it. The computational modeling in this field not only includes (terrestrial) reserve design, but also decision modeling for rel...
LS and MMSE based Localization Algorithm for WSNs amid obstacles
In recent years, optimization and Wireless Sensor Networks (WSNs) are extensively used in numerous milieus and hostile topographies. In this paper, we proposed an improved localization algorithm by means of Least square...
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...
AN OVERVIEW OF MPEG FAMILY AND ITS APPLICATIONS
MPEG is the “Moving Picture Experts Group”, working under the joint direction of the international Standards Organization (ISO) and the International Electro Technical Commission (IEC). This paper will provide an overvie...
ADAPTIVE PROGRESSIVE CODING FOR COMPRESSION OF BI-LEVEL VIDEO IMAGES
In video compression, progressive coding plays an important role in terms of coding efficiency and error resilience and has been an attractive research topic since the standardization of H.264/AVC. In this paper, we prop...