Hierarchical System Design Using Refinable Recursive Petri Net

In: Computing and Informatics, vol. 37, no. 3

M. Bouneb - D.e. Saidouni - J.m. Ilie

Detaily:

Rok, strany: 2018, 635 - 655

Jazyk: eng

Kľúčové slová:

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

DOI: https://doi.org/10.4149/cai_2018_3_635

O článku:

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.

Ako citovať:

ISO 690:

Bouneb, M., Saidouni, D., Ilie, J. 2018. Hierarchical System Design Using Refinable Recursive Petri Net. In Computing and Informatics, vol. 37, no.3, pp. 635-655. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_3_635

APA:

Bouneb, M., Saidouni, D., Ilie, J. (2018). Hierarchical System Design Using Refinable Recursive Petri Net. Computing and Informatics, 37(3), 635-655. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_3_635

O vydaní:

Vydavateľ: Ústav informatiky SAV

Publikované: 26. 7. 2018