On the analysis of some structural properties of Petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 35, Issue 6, 2005, Pages 784-794

  Bouyekhf, Rachid ^a   El Moudni, Abdellah ^a  

^a UNIVERSITÉ DE TECHNOLOGIE DE BELFORT MONTBÉLIARD   (France)

Author keywords

Linear inequalities; Linear algebra methods; Petri nets; Structural properties

Indexed keywords

EIGENVALUES AND EIGENFUNCTIONS; MATRIX ALGEBRA; NUMERICAL ANALYSIS; STATE SPACE METHODS; THEOREM PROVING;

INCIDENCE MATRIX; LINEAR INEQUALITIES; STRUCTURAL PROPERTIES;

PETRI NETS;

EID: 27744490641     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2005.851323     Document Type: Article

References (18)

1. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
2. R. Karp and R. Miller, "Parallel program shemata," J. Comput. Syst. Sci., vol. 3, no. 2, pp. 147-195, 1969.
3. G. Berthelot and R. Terrat, "Petri nets theory for correctness of protocols," IEEE Trans. Commun., vol. COM-30, no. 12, pp. 2497-2505, Dec. 1982.
4. T. Cheng and W. Zeng, "Invariant preserving transformations for the verification of place/transition systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 28, no. 1, pp. 114-121, Jan. 1998.
5. Y. L. Lien, "Termination properties of generalized petri nets," SIAM J. Comput., vol. 5, no. 2, pp. 251-265, 1976.
6. C. A. Yahia et al., "Some subclass of petri nets and the analysis of their structural properties: A new approach," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 2, pp. 164-172, Mar. 1999.
7. M. Fiedler and V. Pták, "On matrices with non-positive off-diagonal elements and positive principal minors," Czechoslov. Math. J., vol. 12, no. 3, pp. 382-400, 1962.
8. M. Fiedler and V. Pták, "Some generalizations of positive definiteness and monotonicity," Numer Math., vol. 9, no. 2, pp. 163-172, 1966.
9. D. Mitra and H. C. So, "P-matrices and solutions to a class of linear inequalities," SIAM J. Appl. Math., vol. 25, no. 3, pp. 5-15, 1973.
10. A. W. Tucker, Linear inequalities and related systems, Annals of Mathematics Study, H. W. Kuhn and A. W. Tucker, Eds. Princeton, NJ: Princeton Univ. Press, 1956, ch. 1, pp. 3-18.
11. U. Martin, "How to choose weights in the Knuth-Bendix ordering," Rewriting Tech. Appl., vol. 256, pp. 166-174, 1987.
12. A. Schrijver, Theory of Linear and Integer Programming. New York: Wiley, 1998.
13. T. S. Motzkin, "Beiträge zur Theorie der Linearen Ungleichungen," Ph.D. dissertation, Univ. Basel, Switzerland, 1936.
14. K. Fan, "Linear inequalities and related systems," in Annals of Mathematics Study, H. W. Kuhn and A. W. Tucker, Eds. Princeton, NJ: Princeton Univ. Press, 1956, ch. 3, pp. 99-156.
15. P. Gordan, "Über die auflösung linearer gleichungen mit reellen coefficienten," Math. Ann., vol. 6, pp. 23-28, 1873.
16. R. Hemmecke and R. Hemmecke. (2003). 4ti2 version 1.1 - Computation of Hilbert bases, graver bases, Toric Gröbner bases, and more [Online]. Available: http://www.4ti2.de
17. J. Sklenar, Petrisim. pnexamps.html. [Online]. Available: http://staff. um.edu.mt/jskll/
18. A. Berman and R. Plemmons, Nonnegative Matrices in the Mathematical Sciences. New York: Academic, 1979.