Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The paper presents our reachability tree logic (RTL) and its integration with temporal Petri nets to specify and verify the temporal behavior of high assurance systems. In addition,  demonstrate how to reduce the complexity of a model checking algorithm by using the reachability tree.  have implemented a specification and verification toolkit called NCUPN (National Central University Petri Nets toolkit) using Java. NCUPN is now available on the Internet via http://140.115.50.137.
['Stephen J. H. Yang', 'W. P. Chu', 'Sam Lin', 'Jonathan Lee']
I am writing a research paper on a idea Specifying and verifying temporal behavior of high assurance systems using reachability tree logic
[{"from": "human", "value": "I am writing a research paper on a idea Specifying and verifying temporal behavior of high assurance systems using reachability tree logic"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The paper presents our reachability tree logic (RTL) and its integration with temporal Petri nets to specify and verify the temporal behavior of high assurance systems. In addition,  demonstrate how to reduce the complexity of a model checking algorithm by using the reachability tree.  have implemented a specification and verification toolkit called NCUPN (National Central University Petri Nets toolkit) using Java. NCUPN is now available on the Internet via http://140.115.50.137."}]