Railway Controller Synthesis Based On System Requirements
暂无分享,去创建一个
[1] Xiaolan Xie,et al. Algebraic and geometric characterization of Petri net controllers using the theory of regions , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
[2] Luciano Lavagno,et al. Synthesis and Control of Discrete Event Systems , 2002, Springer US.
[3] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[4] Milan Urbásek,et al. Rule-Based Refinement of Petri Nets: A Survey , 2003, Petri Net Technology for Communication-Based Systems.
[5] Roman Barták,et al. Constraint Programming: In Pursuit of the Holy Grail , 1999 .
[6] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[7] Pascal Yim,et al. Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming , 2004, CPAIOR.