On reachability and deadlock-freeness of Hybrid Adaptive Petri nets

TitleOn reachability and deadlock-freeness of Hybrid Adaptive Petri nets
Publication TypeConference Proceedings
Year of Conference2011
AuthorsFraca, E, Julvez J, Mahulea C, Silva M
Conference Name 18th IFAC World Congress
Keywordsdeadlock-freeness reachability hybrid adaptive Petri nets hybrid Petri nets
Export