Séquentialisation du comportement des réseaux de Petri temporisés

0422087 - MÚ 2014 RIV FR fre J - Článek v odborném periodiku
Boimond, J.-L. - Komenda, Jan - Lahaye, S.
Séquentialisation du comportement des réseaux de Petri temporisés.
[Sequentialization of timed Petri net behaviours.]
Journal Européen des Systèmes Automatisés. Roč. 47, 1-3 (2013), s. 139-154. ISSN 1269-6935.
[Modélisation des Systèmes Réactifs (MSR) 2013. Rennes, 13.11.2013-15.11.2013]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: timed Petri nets * (max,+) automata * race policy
Kód oboru RIV: BA - Obecná matematika
http://jesa.revuesonline.com/article.jsp?articleId=18769

Trvalý link: http://hdl.handle.net/11104/0228302