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

Chang, L, He, X. (2011). A model transformation approach for verifying multi-agent systems using SPIN . 37-42. 10.1145/1982185.1982196

cited authors

  • Chang, L; He, X

authors

abstract

  • 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. © 2011 ACM.

publication date

  • June 23, 2011

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

start page

  • 37

end page

  • 42