A new approach to verify rule-based systems using petri nets Article

He, XD, Chu, WC, Yang, HJ. (2003). A new approach to verify rule-based systems using petri nets . INFORMATION AND SOFTWARE TECHNOLOGY, 45(10), 663-669. 10.1016/S0950-5849(03)00058-2

cited authors

  • He, XD; Chu, WC; Yang, HJ

authors

publication date

  • July 15, 2003

published in

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • EXPERT-SYSTEMS
  • KNOWLEDGE
  • Science & Technology
  • Technology
  • VERIFICATION
  • petri nets
  • rule-based systems
  • verification

Digital Object Identifier (DOI)

publisher

  • ELSEVIER SCIENCE BV

start page

  • 663

end page

  • 669

volume

  • 45

issue

  • 10