Abstract
Abstract Composition of High Level Petri Nets in terms of joining relevant places and/or transitions is considered in the paper. In case of place composition type safe and combined types composition is contemplated. The process of composition is proposed and analysed in three separate cases with respect to the general approaches with minimal composition interface in each case but an analogous extension of the interface follows immediately from the approach introduced. Properties of the composition mechanism are analysed, namely preserving of boundedness, liveness and deadlock freedom. Conditions for preserving of the desired properties are introduced. Usability of the compositional mechanism is analysed in the process of de/compositional analysis.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: 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.
