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 . 25(7), 1199-1235. 10.1142/S0218194015500230

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)

start page

  • 1199

end page

  • 1235

volume

  • 25

issue

  • 7