A model transformation approach for verifying multi-agent systems using SPIN
Lily C. Chang, Xudong He · 2011
In our previous work, we developed a nested Petri net framework for modeling multi-agent systems. In this paper, we present a method to analyze the nested Petri net model using model checking. Our method systematically translates a nested Petri net model into a PROMELA program in SPIN.