Necessary and sufficient liveness condition of GS 3 PR Petri nets

Gaiyun Liu 1, 2 Kamel Barkaoui 1
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02479669
Contributor : Kamel Barkaoui <>
Submitted on : Friday, February 14, 2020 - 3:59:05 PM
Last modification on : Sunday, February 16, 2020 - 1:21:07 AM

Identifiers

Collections

Citation

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

Share

Metrics

Record views

7