Keyword: net model

• Lin, C.; Chaudhury, A.; Whinston, A.; Marinescu, D. C.:
  Logical Inference of Horn Clauses in Petri Net Models. 1993.

• Stansifer, R.; Marinescu, D.:
  Petri Net Models of Concurrent Ada Programs. 1991.

• Bosch, M.; Schmid, G.:
  Generic Petri Net Models of Protocol Mechanisms in Communication Systems. 1991.

• Engberg, Uffe; Winskel, Glynn:
  Petri Nets as Models of Linear Logic. 1990.

• Kus, J.; Banaszak, Z.:
  Representation of Robot Operation in Net Models of FMS. 1990.

• Buchs, Didier; Guelfi, Nicolas:
  CO-OPN: A Concurrent Object Oriented Petri Net Model. 1990.

• Botti, Oliver:
  Un modello in reti di Petri per occam-2. 1989/90.

• Yuan, Chong Yi:
  Petri Nets. 1989.

Back to the Petri Nets Bibliography