Open AccessColored Petri nets inversion for backward reachability analysis
Author(s) -
Mohamed Bouali,
Pavol Barger,
Walter Schön
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - reachability , petri net , computer science , dependability , theoretical computer science , representation (politics) , inversion (geology) , sequence (biology) , rotation formalisms in three dimensions , algorithm , mathematics , software engineering , paleontology , structural basin , genetics , geometry , politics , political science , law , biology