e-ISSN:0976-5166
p-ISSN:2231-3850


INDIAN JOURNAL OF COMPUTER SCIENCE AND ENGINEERING

Call for Papers

Apr 2019 - Volume 10, Issue 2
Deadline: 5 Apr 2019
Notification: 15 Apr 2019
Publication: 30 Apr 2019

June 2019 - Volume 10, Issue 3
Deadline: 5 June 2019
Notification: 15 June 2019
Publication: 30 June 2019

Indexed in

ABSTRACT

Title : A Review of Petri Net Modeling of Dynamical Systems
Authors : Arundhati Lenka, Dr.Chakradhar Das
Keywords : -
Issue Date : Aug-Sep 2012
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.
Page(s) : 605-621
ISSN : 0976-5166
Source : Vol. 3, No.4