Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions.  prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network.
['Franck Cassez', 'Thomas Chatain', 'Claude Jard']
I am writing a research paper on a idea Symbolic unfoldings for networks of timed automata
[{"from": "human", "value": "I am writing a research paper on a idea Symbolic unfoldings for networks of timed automata"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions.  prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network."}]