A METHODOLOGY FOR CONSTRUCTING PREDICATE TRANSITION NET SPECIFICATIONS Article

HE, XD, LEE, JAN. (1991). A METHODOLOGY FOR CONSTRUCTING PREDICATE TRANSITION NET SPECIFICATIONS . SOFTWARE-PRACTICE & EXPERIENCE, 21(8), 845-875. 10.1002/spe.4380210806

cited authors

  • HE, XD; LEE, JAN

authors

publication date

  • August 1, 1991

published in

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • FORMAL SPECIFICATION
  • PETRI NETS
  • PREDICATE TRANSITION NETS
  • STEPWISE REFINEMENT
  • STRUCTURED ANALYSIS
  • Science & Technology
  • TRANSFORMATION TECHNIQUES
  • Technology

Digital Object Identifier (DOI)

publisher

  • JOHN WILEY & SONS LTD

start page

  • 845

end page

  • 875

volume

  • 21

issue

  • 8