Computing minimal siphons in Petri net models of resource allocation systems: A parallel solution

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

Volumn 36, Issue 3, 2006, Pages 532-539

  Tricas, Fernando ^a   Ezpeleta, Joaquín ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Parallel computation; Petri nets; Siphons; Structural properties

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; RESOURCE ALLOCATION; SIPHONS;

DEADLOCK; ENUMERATION; SYNTACTICAL CONSTRAINTS;

PETRI NETS;

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

References (27)

1. M. Cantamessa, "The manufacturing system as a complex artifact," Robot. Comput.-Integr. Manuf., vol. 14, no. 5-6, pp. 403-414, 1998.
2. M. Silva and E. Teruel, "Petri nets for the design and operation of manufacturing systems," Eur. J. Control, vol. 3, no. 3, pp. 182-199, 1997.
3. J. L. Peterson and A. Silberschatz, Operating System Concepts, 2nd ed. Reading, MA: Addison-Wesley, 1985.
4. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
5. J. Ezpeleta, J. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
6. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics. Vancouver, BC, Canada: IEEE Systems, Man, and Cybernetics Society, Oct. 1995, pp. 4119-4124.
7. F. Tricas, F. García-Vallés, J. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMS," in Discrete Event Systems: Analysis Control. Proc. Workshop Discrete Event Systems, R. Boel and G. Stremersch, Eds., Ghent, Belgium: Kluwer, Aug. 2000, pp. 139-148.
8. F. Tricas, J. Colom, and J. Ezpeleta, "A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming," in Proc. 11th European Simulation Symp., G. Horton, D. Moller, and U. Rude, Eds., Erlangen, Germany: Society for Computer Simulation Int., Oct. 1999, pp. 542-546.
9. M. Yamauchi and T. Watanabe, "Algorithms for extracting minimal siphons containing specified places in a general Petri net," IEICE Trans. Fundam., vol. E82-A, no. 11, pp. 2566-2575, Nov. 1999.
10. Y. Huang, M. D. Jeng, Z. Xie, and S. Chung, "Deadlock prevention policy based on Petri nets and siphons.," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, 2001.
11. M. V. Iordache, J. O. Moody, and P. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002.
12. Z. Li and M. C. Zhou, "Elementary siphons of Petri nets and their applications to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol. 34, no. 2, pp. 38-51, Jan. 2004.
13. E. R. Boer and T.Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix," IEEE Trans. Circuits Syst. I, Fundam. Theory Appl., vol. 41, no. 4, pp. 266-271, Apr. 1994.
14. P. Kemper and F. Bause, "An efficient polynomial-time algorithm to decide liveness and boundedness of free choice nets," in Proc. 13th Int. Conf. Application Theory Petri Nets, K. Jensen, Ed., Sheffield, U.K.: Springer-Verlag, Jun. 1992, Lecture Notes in Computer Science, vol. 616, pp. 263-278.
15. M. Yamauchi and T. Watanabe, "Time complexity analysis of the minimal siphon extraction problem of Petri nets," IEICE Trans. Fundam., vol. E82-A, no. 11, pp. 2558-2565, Nov. 1999.
16. F. Tricas, "Deadlock analysis, prevention and avoidance in sequential resource allocation systems," Ph.D. dissertation, Depto. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Zaragoza, Spain, May 2003.
17. F. Tricas and J. Ezpeleta, "Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets," in Proc. 9th IEEE Int. Conf. Emerging Technologies Factory Automation (ETFA). Lisbon, Portugal: IEEE, Sep. 2003, pp. 322-329.
18. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure of Petri nets," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics (SMC). Orlando, FL: IEEE, Oct. 1997, pp. 3750-3755.
19. J. Park and S. Reveliotis, "Policy mixture: A novel approach for enhancing the operational flexibility of resource allocation systems with alternate routings," IEEE Trans. Robot. Autom., vol. 18, no. 4, pp. 616-620, Aug. 2002.
20. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets, K. Voss, H. J. Genrich, and G. Rozemburg, Eds., Berlin, Germany: Springer-Verlag, 1987, pp. 315-336.
21. J. Ezpeleta, J. Couvreur, and M. Silva, "A new technique for finding a generating family of siphons, traps and st-components: Application to colored Petri nets," in Advances in Petri Nets, G. Rozenberg, Ed., Aarhus, Denmark: Springer-Verlag, 1993, Lecture Notes on Computer Science, vol. 674, pp. 126-147.
22. T. Watanabe, M. Yamauchi, and S. Tanimoto, "Extracting siphons containing specified set of places in Petri net," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics (SMC), San Diego, CA, Oct. 11-14, 1998, pp. 142-147.
23. A. Wegrzyn, A. Karatkevich, and J. Bieganowski, "Detection of deadlocks and traps in petri nets by means of Thelen's prime implicant method," Appl. Math. Comput. Sci., vol. 14, no. 1, pp. 113-121, 2004.
24. M. Jeng, M. Peng, and Y. Huang, "An algorithm for calculating minimal siphons and traps of Petri nets," Int. J. Intell. Control Syst., vol. 3, no. 3, pp. 263-275, 1999.
25. W. D. Gropp and E. Lusk, User's Guide for mpich, A Portable Implementation of MPI. Argonne, IL: Mathematics and Computer Science Division, Argonne Nat. Lab., 1996. ANL-96/6.
26. M. P. I. Forum, "MPI: A message-passing interface standard," Int. J. Supercomput. Appl., vol. 8, no. 3/4, pp. 157-416, 1994.
27. J. Kuck, The Structure of Computers and Computations, vol. l. New York: Wiley, 1978.