Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Boukala, Mohand Cherif"'
Publikováno v:
2017 International Conference on Mathematics and Information Technology (ICMIT).
We propose some redection rules to simplify the labeled timed Petri net model. Our purpose is to construct a labeled delay timed Petri net(LDTPN) that allows us to preserve the temporal constraints of the original model. We introduced also an algorit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44bee93f19a23925066298964c54e934
https://doi.org/10.1109/mathit.2017.8259703
https://doi.org/10.1109/mathit.2017.8259703
Publikováno v:
2017 5th International Conference on Electrical Engineering - Boumerdes (ICEE-B).
In this paper an approach is developed for the online diagnosis of timed discrete events systems, the formalism used is the labeled timed Petri nets. We have introduced a new concept is: enriched set of possible states. In addition to online diagnosi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f97492c7855c71cb72de6ed575263319
https://doi.org/10.1109/icee-b.2017.8191971
https://doi.org/10.1109/icee-b.2017.8191971
Publikováno v:
RAIRO - Operations Research. 34:237-249
L'analyse d'un reseau de Petri necessite souvent le developpement du graphe des marquages accessibles (GMA), dont la taille rend generalement son etude impossible. Le but de notre article est de proposer une methode de construction d'un graphe reduit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aea2f9fe7f870df674ccd8153d64ba97
https://doi.org/10.1051/ro:2000113
https://doi.org/10.1051/ro:2000113
Publikováno v:
Innovations in Systems & Software Engineering; Sep2018, Vol. 14 Issue 3, p229-244, 16p
Publikováno v:
2011 10th International Symposium on Programming and Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68c46d893ebaf38b5d44782eb2ead51b
https://doi.org/10.1109/isps.2011.5898871
https://doi.org/10.1109/isps.2011.5898871
Publikováno v:
2016 International Conference on Information Technology for Organizations Development (IT4OD); 2016, p1-8, 8p
Publikováno v:
International Journal of Critical Computer-Based Systems; January 2012, Vol. 3 Issue: 1-2 p44-59, 16p
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::025bb34a7431666086750fd4ceaa5e35
http://www.scopus.com/inward/record.url?eid=2-s2.0-84991200820&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84991200820&partnerID=MN8TOARS
