A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets Article

Chang, Lily, He, Xudong. (2015). A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets . INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 25(7), 1199-1235. 10.1142/S0218194015500230

cited authors

  • Chang, Lily; He, Xudong

authors

publication date

  • September 1, 2015

keywords

  • ARCHITECTURE
  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • FRAMEWORK
  • Formal methods
  • SPECIFICATIONS
  • Science & Technology
  • Technology
  • model checking
  • multi-agent systems
  • petri nets

Digital Object Identifier (DOI)

publisher

  • WORLD SCIENTIFIC PUBL CO PTE LTD

start page

  • 1199

end page

  • 1235

volume

  • 25

issue

  • 7