Petri Nets and Large Finite Sets
暂无分享,去创建一个
[1] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..
[2] Michel Hack,et al. Decidability Questions for Petri Nets , 1975, Outstanding Dissertations in the Computer Sciences.
[3] Jeff B. Paris,et al. Some independence results for Peano arithmetic , 1978, Journal of Symbolic Logic.
[4] Albert R. Meyer,et al. The Complexity of the Finite Containment Problem for Petri Nets , 1981, JACM.
[5] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .
[6] Jussi KETONENt,et al. Rapidly growing Ramsey functions , 1981 .
[7] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[8] M. Hack,et al. PETRI NET LANGUAGE , 1976 .
[9] George Mills,et al. A tree analysis of unprovable combinatorial statements , 1980 .