HIGH-LEVEL ALGEBRAIC PETRI NETS Article

KAN, CY, HE, XD. (1995). HIGH-LEVEL ALGEBRAIC PETRI NETS . INFORMATION AND SOFTWARE TECHNOLOGY, 37(1), 23-30. 10.1016/0950-5849(94)00438-X

cited authors

  • KAN, CY; HE, XD

authors

publication date

  • January 1, 1995

published in

keywords

  • ALGEBRAIC SPECIFICATION
  • CONCURRENT SYSTEMS
  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • DECISION TABLE
  • DISTRIBUTED SYSTEMS
  • FORMAL METHODS
  • PETRI NETS
  • SPECIFICATION ANALYSIS
  • SPECIFICATION CONSTRUCTION
  • SPECIFICATIONS
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)

publisher

  • BUTTERWORTH-HEINEMANN LTD

start page

  • 23

end page

  • 30

volume

  • 37

issue

  • 1