DERIVING ALGEBRAIC PETRI-NET SPECIFICATIONS FROM STRUCTURED ANALYSIS - A CASE-STUDY Article

KAN, CY, HE, XD. (1995). DERIVING ALGEBRAIC PETRI-NET SPECIFICATIONS FROM STRUCTURED ANALYSIS - A CASE-STUDY . INFORMATION AND SOFTWARE TECHNOLOGY, 37(8), 411-434. 10.1016/0950-5849(95)98038-H

cited authors

  • KAN, CY; HE, XD

authors

publication date

  • August 1, 1995

published in

keywords

  • ALGEBRAIC PETRI NETS
  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • DATA FLOW DIAGRAMS
  • FORMAL METHODS
  • STRUCTURED ANALYSIS
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)

publisher

  • BUTTERWORTH-HEINEMANN LTD

start page

  • 411

end page

  • 434

volume

  • 37

issue

  • 8