PZ nets -: a formal method integrating Petri nets with Z Article

He, XD. (2001). PZ nets -: a formal method integrating Petri nets with Z . INFORMATION AND SOFTWARE TECHNOLOGY, 43(1), 1-18. 10.1016/S0950-5849(00)00134-8

cited authors

  • He, XD

authors

publication date

  • January 1, 2001

published in

keywords

  • ALGEBRAIC SPECIFICATIONS
  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • Petri nets and Z
  • Science & Technology
  • Technology
  • formal methods
  • formal specification and verification

Digital Object Identifier (DOI)

publisher

  • ELSEVIER SCIENCE BV

start page

  • 1

end page

  • 18

volume

  • 43

issue

  • 1