Two efficient methods for computing Petri net invariants
暂无分享,去创建一个
[1] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[2] Katsushi Takano. Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants , 2001 .
[3] M. Yamauchi,et al. A fast and space-saving algorithm for computing invariants of Petri nets , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).
[4] Manuel Silva Suárez,et al. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows , 1991, Applications and Theory of Petri Nets.
[5] M. Yamauchi,et al. Finding Minimal Siphons in General Petri Nets , 1996 .
[6] Dilip Sarkar,et al. A new methodology for analyzing distributed systems modeled by petri nets , 1990 .
[7] Manuel Silva,et al. A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
[8] Shimon Even,et al. Graph Algorithms , 1979 .