PNAT: A Petri Net based Analysis Tool for Discrete Event Systems

We develop a Java based software PNAT in our previous work to solve several basic problems of Petri nets modeling of discrete event systems. Advanced data structure and search algorithm are implemented such that the traditional analyses, e.g., reachability graph, can be achieved in an efficient way. Since then, a lot of analysis modules have been developed in this tool. Over the years, several new features are introduced based on different requirements. In this paper, we extend the functionality of PNAT in three aspects. The first is robustness analysis for failure-prone automated manufacturing systems. The second is new structure analysis for detecting deadlocks. The last is the extension of PNAT to handle uncontrollable and unobservable events.