论文信息 - Conflict-Free Places and Fireability of a Solution of Matrix Equation in Petri Net - 字舞流文

Conflict-Free Places and Fireability of a Solution of Matrix Equation in Petri Net

Kunihiko Hiraishi | Atsunobu Ichikawa

[1] Tadao Murata,et al. Circuit theoretic analysis and synthesis of marked graphs , 1977 .

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

[3] Stefano Crespi-Reghizzi,et al. A Decidability Theorem for a Class of Vector-Addition Systems , 1975, Inf. Process. Lett..