On Persistency in Time Petri Nets

Kamel Barkaoui 1 Hanifa Boucheneb 2
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
2 VeriForm - Laboratoire VeriForm - Department of Computer Engineering
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02475863
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 12:21:46 PM
Last modification on : Friday, February 14, 2020 - 1:27:54 AM

Identifiers

Collections

CEDRIC-CNAM | CNAM | UNIV-HESAM

Citation

Kamel Barkaoui, Hanifa Boucheneb. On Persistency in Time Petri Nets. International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, Aug 2018, Beijing, China. pp.108-124, ⟨10.1007/978-3-030-00151-3_7⟩. ⟨hal-02475863⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

4

Contact

Informations

CCSD