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


INDIAN JOURNAL OF COMPUTER SCIENCE AND ENGINEERING

Call for Papers 2020

Jun 2020 - Volume 11, Issue 3
Deadline: 15 May 2020
Due to COVID-19 deadline extended to 31-May-2020
Notification: 15 Jun 2020
Publication: 30 Jun 2020

Aug 2020 - Volume 11, Issue 4
Deadline: 15 Jul 2020
Notification: 15 Aug 2020
Publication: 31 Aug 2020

More

Indexed in

IJCSE Indexed in Scopus

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