Abstract
Multi-agent nets are a variant of Object-oriented Petri nets, and a formal model description language for multi-agent systems. Modular Petri nets have been proposed in order to describe discrete event systems in a modular way. The modular reachability analysis technique for modular Petri nets is powerful, and it would be useful to introduce it into reachability analysis of multi-agent nets. In this paper, we discuss a reachability analysis method for multi-agent nets by using modular Petri nets, and propose a set of transformation rules from a fundamental class of multi-agent nets into modular Petri nets, and show isomorphism of state spaces of the multi-agent nets and them of generated modular Petri nets.
Sign-in/Register to access full text options 
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.
