Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The computation of structural properties of models expressed with the Symmetric Nets formalism (formerly ll-Formed Nets, a High Level Petri Net formalism), their structural reduction, or the efficient detection of transition instances enabled in a given state can benefit from the availability of a calculus for symbolic manipulation of arc functions. In previous works the theoretical basis of such calculus has been presented.  a library implementing the calculus is described, and its use is demonstrated on a simple distributed system model.
['Lorenzo Capra', 'Massimiliano De Pierro', 'Giuliana Franceschinis']
I am writing a research paper on a idea A tool for symbolic manipulation of arc functions in symmetric net models
[{"from": "human", "value": "I am writing a research paper on a idea A tool for symbolic manipulation of arc functions in symmetric net models"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The computation of structural properties of models expressed with the Symmetric Nets formalism (formerly ll-Formed Nets, a High Level Petri Net formalism), their structural reduction, or the efficient detection of transition instances enabled in a given state can benefit from the availability of a calculus for symbolic manipulation of arc functions. In previous works the theoretical basis of such calculus has been presented.  a library implementing the calculus is described, and its use is demonstrated on a simple distributed system model."}]