Diagnosis of Labeled Time Petri Nets Using ...

Document type :
Article dans une revue scientifique
DOI :
10.3182/20140824-6-ZA-1003.02336
Permalink :
http://hdl.handle.net/20.500.12210/23363
Title :
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
Author(s) :
Liu, Baisi [Auteur]
Université de Lille, Sciences et Technologies
Ghazel, Mohamed [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/COSYS/ESTAS]
Toguyéni, Armand [Auteur]
PRES Université Lille Nord de France
Journal title :
International Federation of Automatic Control proceedings volumes
Pages :
1784 - 1789
Publisher :
Elsevier
Publication date :
2014
ISSN :
1474-6670
HAL domain(s) :
Informatique [cs]/Automatique
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Submission date :
2020-05-28T12:05:11Z
Files
Thumbnail
  • http://pdfs.semanticscholar.org/00a9/b4b20591648ebb60ca69340e6119f1ab4b26.pdf
  • Open access
  • Access the document