Structural Methods to Improve the Symbolic Analysis of Petri Nets
暂无分享,去创建一个
[1] Gerard J. Holzmann,et al. An improved protocol reachability analysis technique , 1988, Softw. Pract. Exp..
[2] Jordi Cortadella,et al. Petri Net Analysis Using Boolean Manipulation , 1994, Application and Theory of Petri Nets.
[3] Enrico Macii,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[4] Kurt Lautenbach. Linear Algebraic Techniques for Place/Transition Nets , 1986, Advances in Petri Nets.
[5] Nripendra N. Biswas,et al. Minimization of Boolean Functions , 1971, IEEE Transactions on Computers.
[6] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[7] Wilfried Brauer,et al. Net Theory and Applications , 1980, Lecture Notes in Computer Science.
[8] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[9] Michel Hack,et al. ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .
[10] Giovanni Chiola. Compiling Techniques for the Analysis of Stochastic Petri Nets , 1989 .
[11] Gérard Roucairol,et al. Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.
[12] Jörg Desel,et al. Proving Nonreachability by Modulo-Invariants , 1996, Theor. Comput. Sci..
[13] Jordi Cortadella,et al. Efficient encoding schemes for symbolic analysis of Petri nets , 1998, Proceedings Design, Automation and Test in Europe.
[14] Ravi Kannan,et al. Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix , 1979, SIAM J. Comput..
[15] Frank M. Brown,et al. Boolean reasoning - the logic of boolean equations , 1990 .
[16] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[17] Tomohiro Yoneda,et al. BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets , 1996, FMCAD.
[18] R. M. Mattheyses,et al. A Linear-Time Heuristic for Improving Network Partitions , 1982, 19th Design Automation Conference.
[19] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.
[20] Jörg Desel,et al. Free choice Petri nets , 1995 .