Hierarchically organized Petri net state space for reachability and deadlock analysis
暂无分享,去创建一个
[1] Martti Tienari,et al. An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm , 1991, Protocol Specification, Testing and Verification.
[2] Sol M. Shatz,et al. A petri net framework for automated static analysis of Ada tasking behavior , 1988, J. Syst. Softw..
[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[4] Michal Young,et al. Compositional reachability analysis using process algebra , 1991, TAV4.
[5] Maciej Koutny,et al. Optimal simulations, nets and reachability graphs , 1990, Applications and Theory of Petri Nets.
[6] Antti Valmari,et al. Compositional State Space Generation , 1991, Applications and Theory of Petri Nets.
[7] Rami R. Razouk,et al. Interactive State-Space Analysis of Concurrent Systems , 1987, IEEE Transactions on Software Engineering.
[8] Antti Valmari. A stubborn attack on state explosion , 1992, Formal Methods Syst. Des..
[9] Tadao Murata,et al. Detection of Ada Static Deadlocks Using Petri Net Invariants , 1989, IEEE Trans. Software Eng..