A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING Article

He, Xudong. (2013). A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING . 23(5), 589-625. 10.1142/S021819401340010X

keywords

  • AGENTS
  • ARCHITECTURE
  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • FRAMEWORK
  • METHODOLOGY
  • Petri nets
  • SCHEDULABILITY ANALYSIS
  • SPECIFICATION
  • SYSTEMS
  • Science & Technology
  • Software engineering
  • Technology
  • VERIFICATION
  • formal methods

Digital Object Identifier (DOI)

start page

  • 589

end page

  • 625

volume

  • 23

issue

  • 5