Hierarchical System Design Using Refinable Recursive Petri Net

Authors

  • Messaouda Bouneb University El Arbi ben M'hidi, Oum el boighi
  • Djamel Eddine Saidouni university of Abed El Hamid Mehri Constantine 2, Constantine
  • Jean Michel Ilie University of Piere and Marie Curie, Paris

Keywords:

Recursive Petri nets, hierarchical design, action refinement, maximality labeled transition system

Abstract

This paper is in the framework of the specification and verification of concurrent dynamic systems. For this purpose we propose the model of Refinable Recursive Petri Nets (RRPN) under a maximality semantics. In this model a notion of undefined transitions is considered. The underlying semantics model is the Maximality Abstract Labeled Transition System (AMLTS). Then, the model supports a definition of a hierarchical design methodology. The example of a cutting flame machine is used for illustrating the approach.

Downloads

Download data is not yet available.

Downloads

Published

2018-07-26

How to Cite

Bouneb, M., Saidouni, D. E., & Ilie, J. M. (2018). Hierarchical System Design Using Refinable Recursive Petri Net. Computing and Informatics, 37(3), 635–655. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/2018_3_635

Most read articles by the same author(s)