Abstract
Abstract Free choice nets are a class of Petri nets which allow the modelling of concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are initial states which lead to a strongly connected state graph, that is, a home state can be reached from any of its successor states. The main result of this paper characterises the home states of a well-formed free choice net compositionally by recourse to its decomposition into T-components.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.