Modified rules for modular reachability analysis of Petri nets for multiagent systems

Petri nets (PNs) are a well known modeling language for concurrent systems. Multiagent nets (MANs) are a variant of extended PNs. In our previous study, we studied modular reachability analysis of MANs and proposed a set of rules to transform a MAN into a modular Petri net. In this paper, we propose modified transformation rules that do not require duplicating places and transitions. Computational complexity of the transformation is slightly reduced.