M
M. Notomi
Researcher at University of Illinois at Urbana–Champaign
Publications - 1
Citations - 93
M. Notomi is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Deadlock prevention algorithms & Graph (abstract data type). The author has an hindex of 1, co-authored 1 publications receiving 90 citations.
Papers
More filters
Journal ArticleDOI
Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
M. Notomi,Tadao Murata +1 more
TL;DR: This paper proposes a method for constructing a hierarchically organized state space called the hierarchical reachability graph (HRG), and obtains necessary and sufficient conditions for reachability and deadlock, as well as algorithms to test whether a given state or marking is reachable from the initial state and whether there is a deadlock state.