Model Checking Multi-agent systems with Logic Based Petri Nets

@article{masmodelchecking-amai51,
   apice = {MasmodelcheckingAmai51},
   author = {Behrens, Tristan M. and Dix, Jurgen},
   doi = {10.1007/s10472-008-9092-7},
   issn = {1012-2443},
   journal = {Annals of Mathematics and Artificial Intelligence},
   note = {From the issue entitled ``Special Issue in honor of Professor Jack Minker's 80th birthday''},
   number = {2-4},
   pages = {81--121},
   publisher = {Springer},
   title = {Model Checking Multi-agent systems with Logic Based {P}etri Nets},
   url = {http://www.springerlink.com/content/3q71261838q73u26/},
   volume = 51,
   year = 2007
}