论文信息 - On Commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets - 字舞流文

On Commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets

[1] Michel Hack,et al. ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[2] James L. Peterson,et al. Petri Nets , 1977, CSUR.

[3] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[4] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .

[5] Andrew S. Tanenbaum,et al. Operating systems: design and implementation , 1987, Prentice-Hall software series.

[6] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[7] Paulo Ribenboim,et al. Catalan's conjecture , 1996 .