On the performance estimation and resource optimization in process petri nets

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 43, Issue 6, 2013, Pages 1385-1398

  Rodríguez, Ricardo J ^a   Júlvez, Jorge ^a   Merseguer, José ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Discrete event systems (dess); Performance evaluation; Petri nets (pns); Software performance

Indexed keywords

INFORMATION SERVICES; LINEAR PROGRAMMING; PETRI NETS; SERVICE ORIENTED ARCHITECTURE (SOA);

DISCRETE DYNAMIC SYSTEM; PERFORMANCE ESTIMATION; PERFORMANCE EVALUATION; PETRI NETS (PNS); RESOURCE OPTIMIZATION; SOFTWARE PERFORMANCE; STATE EXPLOSION PROBLEMS; STEADY STATE PERFORMANCE;

DISCRETE EVENT SIMULATION;

EID: 84898676857     PISSN: 10834427     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2013.2245118     Document Type: Article

References (31)

1. J. Colom, "The resource allocation problem in flexible manufacturing systems," in Applications and Theory of Petri Nets, W. van der Aalst and E. Best, Eds.Berlin, Germany: Springer-Verlag, 2003, ser.LNCS, pp. 23-35.
2. F. Tricas, "Deadlock analysis, prevention and avoidance in sequential resource allocation systems," Ph.D. dissertation, Universidad de Zaragoza, Dpto. de Informática e Ingeniería de Sistemas, Zaragoza, Spain, May, 2003.
3. F. Tricas, F. Vallés, J. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMS," in Discrete Event Systems. Analysis and Control, R. Boel and G. Stremersch, Eds. Boston, MA, USA: Kluwer, Aug. 2000, pp. 139-148.
4. J. Ezpeleta and R. Valk, "A polynomial deadlock avoidance method for a class of nonsequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1234-1243, Nov. 2006. (Pubitemid 44680569)
5. N. Wu, M. Zhou, and Z. Li, "Resource-oriented petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
6. J. Lopez-Grao and J. Colom, "On the deadlock analysis of multithreaded control software," in Proc. IEEE 16th Conf. ETFA, Sep. 2011, pp. 1-8.
7. Z. Li, N. Wu, and M. Zhou, "Deadlock control of automated manufacturing systems based on petri nets - A literature review," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 42, no. 4, pp. 437-462, Jul. 2012.
8. F. Tricas and J. Ezpeleta, "Computing minimal siphons in petri net models of resource allocation systems: A parallel solution," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 3, pp. 532-539, May 2006. (Pubitemid 43786542)
9. S. Wang, C. Wang, M. Zhou, and Z. Li, "A method to compute strict minimal siphons in a class of petri nets based on loop resource subsets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 226-237, Jan. 2012.
10. G. Chiola, C. Anglano, J. Campos, J. Colom, and M. Silva, "Operational analysis of timed petri nets and application to the computation of performance bounds," in Proc. 5th Int. Workshop PNPM, Toulouse, France, Oct. 1993, pp. 128-137.
11. J. Campos, G. Chiola, J. Colom, and M. Silva, "Properties and performance bounds for timed marked graphs," IEEE Trans. Circuits Syst. I, Fundam. Theory Appl., vol. 39, no. 5, pp. 386-401, May 1992.
12. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling With Generalized Stochastic Petri Nets. Hoboken, NJ, USA:Wiley, 1995, ser.Wiley Series in Parallel Computing.
13. C. Ramchandani, "Analysis of asynchronous concurrent systems by petri nets," Ph.D. dissertation, Dept. of Electrical Engineering, Massachusetts Inst. Technol., Cambridge, MA, USA, Feb. 1974.
14. R. J. Rodríguez and J. Júlvez, "Accurate performance estimation for stochastic marked graphs by bottleneck regrowing," in Proc. 7th EPEW, vol. 6342, LNCS, Sep. 2010, pp. 175-190.
15. Z. Liu, "Performance bounds for stochastic timed petri nets," in Proc. 16th ICATPN, 1995, pp. 316-334.
16. S. Haddad, P. Moreaux, M. Sereno, and M. Silva, "Product-form and stochastic Petri nets: A structural approach," Perform. Eval., vol. 59, no. 4, pp. 313-336, Mar. 2005. (Pubitemid 40415199)
17. G. Casale, N. Mi, and E. Smirni, "Bound analysis of closed queueing networks with workload burstiness," SIGMETRICS Perform. Eval. Rev., vol. 36, no. 1, pp. 13-24, Jun. 2008.
18. T. Osogami and R. Raymond, "Semidefinite optimization for transient analysis of queues," SIGMETRICS Perform. Eval. Rev., vol. 38, no. 1, pp. 363-364, Jun. 2010.
19. J. Li, Y. Fan, and M. Zhou, "Performance modeling and analysis of workflow," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 229-242, Mar. 2004.
20. H. Wang and Q. Zeng, "Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 802-817, Jul. 2008.
21. K. V. Hee, H. Reijers, E. Verbeek, and L. Zerguini, "On the optimal allocation of resources in stochastic workflow nets," in Proc. 7th UK Perform. Eng. Workshop, K. Djemame and M. Kara, Eds., Leeds, U.K., 2001, pp. 23-34.
22. Y.-L. Chen, P.-Y. Hsu, and Y.-B. Chang, "A petri net approach to support resource assignment in project management," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 564-574, May 2008. (Pubitemid 351649888)
23. J. Colom, J. Campos, and M. Silva, "On liveness analysis through linear algebraic techniques," presented at the Annu. Gen. Meet. ESPRIT Basic Res. Action Des. Methods Based on Nets (DEMON), Paris, France, Jun. 1990.
24. H. Hu, M. Zhou, and Z. Li, "Liveness and ratio-enforcing supervision of automated manufacturing systems using petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 2, pp. 392-403, Mar. 2012.
25. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
26. G. Florin and S. Natkin, "Necessary and sufficient ergodicity condition for open synchronized queueing networks," IEEE Trans. Softw. Eng., vol. 15, no. 4, pp. 367-380, Apr. 1989. (Pubitemid 20603362)
27. J. Campos and M. Silva, "Structural techniques and performance bounds of stochastic petri net models," in Proc. Adv. Petri Nets, vol. 609, Lecture Notes in Computer Science, 1992, pp. 352-391.
28. J. D. C. Little, "A proof for the queuing formula: L = λW," Oper. Res., vol. 9, no. 3, pp. 383-387, May/Jun. 1961.
29. E. M. Goldratt and J. Cox, The Goal: A Process of Ongoing Improvement. Great Barrington, MA, USA: North River, 1986.
30. H. Kellerer, U. Pferschy, and D. Pisinger, Knapsack Problems. New York, NY, USA: Springer-Verlag, 2004.
31. R. J. Rodríguez, J. Júlvez, and J. Merseguer, "PeabraiN: A PIPE extension for performance estimation and resource optimisation," in Proc. 12th Int. Conf. ACSD, 2012, pp. 142-147.