论文信息 - Facts in Place/Transition-Nets - 字舞流文

Facts in Place/Transition-Nets

Kurt Lautenbach | Hartmann J. Genrich | Kurt Lautenbach | H. Genrich

[1] Horst F. Wedde,et al. Generating Control Mechanisms by Restrictions , 1976, MFCS.

[2] Hartmann J. Genrich,et al. The Calculus of Facts , 1976, MFCS.

[3] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[4] R. Smullyan. First-Order Logic , 1968 .