Necessary and sufficient liveness condition of GS 3 PR Petri nets - Archive ouverte HAL
Article Dans Une Revue International Journal of Systems Science Année : 2015

Necessary and sufficient liveness condition of GS 3 PR Petri nets

Gaiyun Liu
  • Fonction : Auteur
  • PersonId : 964699
CEDRIC. Systèmes sûrs
School of Electronic Engineering [Xidian University]
Kamel Barkaoui
CEDRIC. Systèmes sûrs

Domaines

Informatique [cs] Automatique

Kamel BARKAOUI  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02479669

Soumis le : vendredi 14 février 2020-15:59:05

Dernière modification le : vendredi 19 juillet 2024-11:38:05

Fichier non déposé

Dates et versions

hal-02479669 , version 1 (14-02-2020)

Identifiants

Citer

Gaiyun Liu, Kamel Barkaoui. Necessary and sufficient liveness condition of GS 3 PR Petri nets. International Journal of Systems Science, 2015, 46 (7), pp.1147-1160. ⟨10.1080/00207721.2013.827257⟩. ⟨hal-02479669⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM
47 Consultations
0 Téléchargements

Altmetric

Partager

More