Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Implicit places are a porful tool inside Petri net theory, used in many design phases of a system. Firstly used as a reduction rule of Petri nets, now are widely used in quantitative and qualitative analysis, synthesis of models or in fault-tolerant implementations.  reviews the basic definitions and results on these places, clarifying many of the previous proofs.  also present new results concerning concurrent implicit places (preserving the enabling degree of transitions). Finally,  study the characterisation of structurally implicit places and the problem of the computation of the minimal initial marking making implicit a structurally implicit place.  show that this last problem is NP-complete for live and safe free-choice systems.
['Fernando García-Vallés', 'José Manuel Colom']
I am writing a research paper on a idea Implicit places in net systems
[{"from": "human", "value": "I am writing a research paper on a idea Implicit places in net systems"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Implicit places are a porful tool inside Petri net theory, used in many design phases of a system. Firstly used as a reduction rule of Petri nets, now are widely used in quantitative and qualitative analysis, synthesis of models or in fault-tolerant implementations.  reviews the basic definitions and results on these places, clarifying many of the previous proofs.  also present new results concerning concurrent implicit places (preserving the enabling degree of transitions). Finally,  study the characterisation of structurally implicit places and the problem of the computation of the minimal initial marking making implicit a structurally implicit place.  show that this last problem is NP-complete for live and safe free-choice systems."}]