Basket

0422087 - MÚ 2014 RIV FR fre J - Journal Article
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]
R&D Projects: GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : timed Petri nets * (max,+) automata * race policy
Subject RIV: BA - General Mathematics
http://jesa.revuesonline.com/article.jsp?articleId=18769
Permanent Link: http://hdl.handle.net/11104/0228302