Volume 4 Number 7 (Jul. 2009)
Home > Archive > 2009 > Volume 4 Number 7 (Jul. 2009) >
JCP 2009 Vol.4(7): 641-645 ISSN: 1796-203X
doi: 10.4304/jcp.4.7.641-645

Modeling and Analysis of a Real-time System Using the Networks of Extended Petri

Mohammed Blej1, Mostafa Azizi2
1Faculté des sciences, Université Mohammed Ier, Oujda, Maroc
2Ecole Supérieure de Technologie, Université Mohammed Ier, Oujda, Maroc


Abstract—In this paper, we propose to study and analyze the tasks of a robot and the interaction with its environment, by using the power of Petri nets modelling, especially the timed nets. Our system consists of a robot, a programmable automaton and a computer. We consider the execution of the tasks taking into account the temporal constraints. So, we use the temporal Petri nets to model the whole system and also for its verification. We describe the obtained Petri net and the constraints textually or graphically in the environment TINA, an open source tool dedicated for timed Petri nets. We note that the Petri nets have good qualities of abstraction from the modelling point of view compared to the finite state machines which suffer from the states explosion problem, related to the accessibility graph. Moreover, the consideration of the temporal constraints adds an important complexity to the problem; the system which was carried out successfully in the case "without temporal constraints", can get in a dead lock state in the case "with temporal constraints" if these constraints are not satisfied.

Index Terms—Time Petri nets, Tool TINA, Real time system, Task managing, Time constraints.

[PDF]

Cite: Mohammed Blej, Mostafa Azizi, "Modeling and Analysis of a Real-time System Using the Networks of Extended Petri," Journal of Computers vol. 4, no. 7, pp. 641-645, 2009.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Sep 16, 2019 News!

    Vol 14, No 9 has been published with online version   [Click]

  • Aug 16, 2019 News!

    Vol 14, No 8 has been published with online version   [Click]

  • Jul 19, 2019 News!

    Vol 14, No 7 has been published with online version   [Click]

  • Jun 21, 2019 News!

    Vol 14, No 6 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 5 has been published with online version 7 papers are published in this issue after peer review   [Click]

  • Read more>>