Keyword: concurrent programming

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

• Bruneton, E.; Pradat-Peyre, J.-F.:
  Automatic verification of concurrent Ada program. 1999.

• Barkaoui, K.; Pradat-Peyre, J.-F.:
  Verification in concurrent programming with Petri nets structural techniques. 1998.

• Cohen, G.:
  Concurrent system to resolve real-time conflicts in multirobot systems. 1995.

• Jennings, S.F.:
  Petri Net Models of Program Execution in Data Flow Environments. 1981.

Back to the Petri Nets Bibliography