Keyword: requirement analysis

• Einer, S.; Schieder, E.:
  A Petri net based modeling approach for operating methods in train control systems. 2000.

• Hong, Jang-Eui; Bae, Doo-Hwan:
  Software modeling and analysis using a hierarchical object-oriented Petri net. 2000.

• Sakthivel, S.; Tanniru, M.R.:
  Information System Verification and Validation during Requirement Analysis Using Petri Nets. 1988/89.

Back to the Petri Nets Bibliography