A methodology of testing high-level Petri nets Article

Zhu, H, He, XD. (2002). A methodology of testing high-level Petri nets . INFORMATION AND SOFTWARE TECHNOLOGY, 44(8), 473-489. 10.1016/S0950-5849(02)00048-4

cited authors

  • Zhu, H; He, XD

authors

publication date

  • June 1, 2002

published in

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology
  • behaviour observation
  • concurrent systems
  • high-level Petri nets
  • software testing methods
  • test criteria

Digital Object Identifier (DOI)

publisher

  • ELSEVIER

start page

  • 473

end page

  • 489

volume

  • 44

issue

  • 8