Deadlock prevention using Petri nets and their unfoldings
暂无分享,去创建一个
[1] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[2] Bruce H. Krogh,et al. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..
[3] Michael Kishinevsky,et al. A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings , 1996, Application and Theory of Petri Nets.
[4] Carla Simone,et al. A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.
[5] Walter Vogler,et al. An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..
[6] MengChu Zhou,et al. Petri Nets in Flexible and Agile Automation , 1995 .
[7] P. R. Stephan,et al. SIS : A System for Sequential Circuit Synthesis , 1992 .
[8] Kenneth L. McMillan,et al. A technique of state space search based on unfolding , 1995, Formal Methods Syst. Des..
[9] MengChu Zhou,et al. Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.
[10] Jordi Cortadella,et al. Petri Net Analysis Using Boolean Manipulation , 1994, Application and Theory of Petri Nets.
[11] Luciano Lavagno,et al. Synthesizing Petri nets from state-based models , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).