On reachability and deadlock-freeness of Hybrid Adaptive Petri nets
Title | On reachability and deadlock-freeness of Hybrid Adaptive Petri nets |
Publication Type | Conference Proceedings |
Year of Conference | 2011 |
Authors | Fraca, E, Julvez J, Mahulea C, Silva M |
Conference Name | 18th IFAC World Congress |
Keywords | deadlock-freeness reachability hybrid adaptive Petri nets hybrid Petri nets |
Export |