A model transformation approach for verifying multi-agent systems using SPIN

@inproceedings{Chang2011AMT,
  title={A model transformation approach for verifying multi-agent systems using SPIN},
  author={Lily Chang and Xudong He},
  booktitle={SAC},
  year={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.