Keyword: testing

• Jard, Claude:
  Synthesis of distributed testers from true-concurrency models of reactive systems. 2003.

• Uchihira, Naoshi; Kawata, Hideji; Tamura, Fumitaka:
  Scenario-Based Hypersequential Programming. 2000.

• Heiner, M.; Ventre, G.; Wikarski, D.:
  A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis. 1994.

• Musgrave, G.:
  Petri Nets and their Relation to Design Validation and Testing. 1988.

Back to the Petri Nets Bibliography