Characterization of minimal and basis siphons with predicate logic and binary programming

2002 IEEE International Symposium on Computer Aided Control System Design, CACSD 2002 - Proceedings

Volumn , Issue , 2002, Pages 193-198

  Cordone, R ^a   Ferrarini, L ^a   Piroddi, L ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

Binary Programming; Petri nets; Predicate Logic; Siphons; Traps

Indexed keywords

BINS; COMPUTATION THEORY; COMPUTER CONTROL SYSTEMS; CONTROL SYSTEMS; PETRI NETS; RECONFIGURABLE HARDWARE; SIPHONS; SYSTEMS ANALYSIS;

BINARY PROGRAMMING; EXPERIMENTAL CAMPAIGN; PREDICATE LOGIC; RANDOM TESTS; TRAPS;

COMPUTER CIRCUITS;

EID: 84964066182     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CACSD.2002.1036952     Document Type: Conference Paper

References (12)

1. Boer, E.R., and T. Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix", IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, Vol. 41, n. 4, pp. 266-271, April 1994.
2. Chu, F., and X.-L. Xie, "Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming", IEEE Transactions On Robotics And Automation, Vol. 13, n. 6, pp. 793-804, December 1997.
3. Der Jeng, M., and M.Y. Peng, "Generating minimal siphons and traps for Petri nets", IEEE International Conference on Systems, Man and Cybernetics, Vol. 4, pp. 2996-2999, 1996.
4. Der Jeng, M., and M.Y. Peng, "Petri nets liveness analysis by minimal siphons", Proceedings of 6th International Conference on Emerging Technologies and Factory Automation, ETFA '97, pp. 315-320, 1997.
5. Ezpeleta, J., and J.M. Couvreur, "A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets", Proc. of 12th Conference on Applications and Theory of Petri Nets, pp. 126-147, 1991.
6. Kinuyama, M., and T. Murata, "Generating siphons and traps by Petri net representation of logic equations", Proceedings of 2th Conference of the Net Theory SIG-IECE, pp. 93-100, 1986.
7. Lautenbach, K, "Linear algebraic calculation of deadlocks and traps", in Concurrency and Nets - Advances in Petri Nets, Voss, Genrich and Rozenberg, Eds., New York: Springer-Verlag, pp. 315-336, 1987.
8. Minoux, M., and K. Barkaoui, "Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems", Discrete Applied Mathematics, Vol. 29, pp. 195-210, 1990.
9. Moody, J.O., and P.J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri nets, Kluwer.
10. Murata, T., "Petri nets: properties, analysis and application", Proceedings of the IEEE, Vol. 77, n. 4, pp. 541-580, 1989.
11. Reisig, W., Petri Nets: an Introduction, Springer Verlag, 1982.
12. Tricas, F., and J. Ezpeleta, "A Petri net solution to the problem of deadlocks in systems of processes with resources", 7th IEEE International Conf. on Emerging Technologies and Factory Automation, ETFA '99, Vol. 2, pp. 1047-1056, 1999.