Publications

Export 3 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is X  [Clear All Filters]
Conference Paper
[IPXuReSi06] Xu, J, Recalde L, Silva M.  2006.  Tracking control of join-free timed continuous Petri net systems.
Book Chapter
[1503] Silva, M, Fraca E, Wang L.  2014.  Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
[1482] López-Grao, JP, Colom JM, Tricas F.  2014.  Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract