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
Keywordshybrid Petri nets hybrid adaptive Petri nets reachability deadlock-freeness
Export