[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Log in

Algebraic structure of some stochastic discrete event systems, with applications

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

Generalized semi-Markov processes (GSMPs) and stochastic Petri nets (SPNs) are generally regarded as performance models (as opposed to logical models) of discrete event systems. Here we take the view that GSMPs and SPNS are essentially automata (generators) driven by input sequences that determine the timing of events. This view combines the deterministic, logical aspects and the stochastic, timed aspects of the two models. We focus on two conditions, (M) and (CX) (which we previously developed to study monotonicity and convexity properties of GSMPs), and the antimatroid and lattice structure they imply for the language generated by a GSMP or SPN. We illustrate applications of these structural properties in the areas of derivative estimation, simulation variance reduction, parallel simulation, and optimal control.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Similar content being viewed by others

References

  • F. Baccelli, “Ergodic theory of stochastic decision free Petri nets,” inProc. 28th IEEE Conf. Decision and Control, 1989, pp. 1521—1527. (Extended version to appear inAnn. Probab.)

  • F. Baccelli and A. M. Makowski, “Queueing models for systems with synchronization constraints,”Proc. IEEE, Vol. 77, pp. 138–161, 1989.

    Google Scholar 

  • A. Björner “On matroids, groups, and exchange languages,” inMatroid Theory and Its Applications (eds. L. Lovász and A. Rechksi), Colloq. Math. Soc. J. Bolyai 40, North-Holland: Amsterdam, 1985; pp. 25–60.

    Google Scholar 

  • P. Bratley, B. L. Fox, and L. E. Schrage,A Guide to Simulation, Springer-Verlag: New York, 1983.

    Google Scholar 

  • C. G. Cassandras and S. G. Strickland, “Sample path properties of timed discrete event systems,”Proc. IEEE, Vol. 77, pp. 59–71, 1989.

    Google Scholar 

  • K. M. Chong, “Some extensions of a theorem of Hardy, Littlewood and Polya and their applications,”Canad. J. Math., Vol. 26, pp. 1321–1340, 1974.

    Google Scholar 

  • G. Cohen, P. Moller, J.-P., Quadrat, and M. Viot, “Algebraic tools for the performance analysis of discrete event systems,Proc. IEEE, Vol. 77, pp. 39–58, 1989.

    Google Scholar 

  • S. Crespi-Reghizzi, “Petri nets and Szilard languages,”Inform. Control, Vol. 33, pp. 177–192, 1977.

    Google Scholar 

  • S. Crespi-Reghizzi and D. Mandrioli, “A decidability theorem for a class of vector-addition systems,”Inform. Process. Lett., Vol. 3, pp. 78–80, 1975.

    Google Scholar 

  • B. L. Dietrich, “Matroids and antimatroids—a survey,”Discrete Math., Vol. 78, pp. 223–237, 1989.

    Google Scholar 

  • P. Glasserman, “Structural conditions for perturbation analysis derivative estimation: Finite-time performance indices, 1989,Operations Research, Forthcoming.

  • P. Glasserman and D. D. Yao, “Monotonicity in generalized semi-Markov processes,” 1989,Math. of Oper. Res., forthcoming.

  • P. Glasserman and D. D. Yao, “Generalized semi-Markov processes: Antimatroid structure and second-order properties, 1990,Math. Oper. Res., forthcoming.

  • P. W. Glynn, “A GSMP formalism for discrete event systems,”Proc. IEEE, Vol. 77, pp. 14–23, 1989.

    Google Scholar 

  • A. G. Greenberg, G. D. Lubachevsky, and I. Mitrani, “Unboundedly parallel simulations via recurrence relations,”Sigmetrics '90, Boulder, CO, 1990.ACM Trans. Comput. Syst., forthcoming.

  • P. J. Haas and G. S. Schedler, “Modeling power of stochastic Petri nets,”Probab. Eng. Inform. Sci., Vol. 2, pp. 435–459, 1988.

    Google Scholar 

  • Y. C. Ho, “Performance evaluation and perturbation analysis of discrete event dynamic systems: Perspectives and open problems,”IEEE Trans. Automat. Control, Vol. AC-32, pp. 563–572, 1987.

    Google Scholar 

  • J. Q. Hu, “Convexity of sample path performances and strong consistency of infinitesimal perturbation analysis estimates,”IEEE Trans. Automat. Control, July, 1991, forthcoming.

  • M. R. Karp and R. E. Miller, “Parallel program schemata,”J. Comput. Syst. Sci., Vol. 3, pp. 147–195; 1969.

    Google Scholar 

  • R. E. Ladner and M. J. Fischer, “Parallel prefix computation,”J. ACM, Vol. 27, pp. 831–838, 1980.

    Google Scholar 

  • F. Lin and D. D. Yao, “Generalized semi-Markov processes: A view through supervisory control,Proc. 28th IEEE Conf. Decision and Control, 1989, pp. 1075–1076.

  • G. G. Lorentz, “An inequality for rearrangements,”Amer. Math. Monthly, Vol. 60, pp. 176–179, 1953.

    Google Scholar 

  • R. Parikh, “On context-free languages,”J. ACM, Vol. 13, pp. 570–581, 1966.

    Google Scholar 

  • J. L. Peterson, “Computation sequence sets,”J. Comput. Syst. Sci., Vol. 13, pp. 1–24, 1976.

    Google Scholar 

  • J. L. Peterson,Petri Net Theory and the Modeling of Systems, Prentice-Hall: Englewood Cliffs, NJ, 1981.

    Google Scholar 

  • P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete-event processes,”SIAM J. Control Optim., Vol. 25, pp. 206–230, 1987.

    Google Scholar 

  • C. V. Ramamoorthy and G. S. Ho, “Performance evaluation of asynchronous concurrent systems using Petri nets,”IEEE Trans. Software Eng., Vol. SE-6, pp. 440–449, 1980.

    Google Scholar 

  • S. M. Ross,Stochastic Processes, Wiley: New York, 1983.

    Google Scholar 

  • H. L. Royden,Real Analysis, Macmillan: New York, 1968.

    Google Scholar 

  • L. Rüschendorf, “Solution of a statistical optimization problem by rearrangement methods,”Metrika, Vol. 30, pp. 55–61, 1983.

    Google Scholar 

  • R. Schassberger, “On the equilibrium distribution of a class of finite-state generalized semi-Markov processes,”Math. Oper. Res., Vol. 1, pp. 395–406, 1976.

    Google Scholar 

  • R. Schassberger, “Insensitivity of steady-state distributions of generalized semi-Markov processes,”Ann. Probab., Vol. 5, pp. 87–99, 1978.

    Google Scholar 

  • J. G. Shanthikumar and D. D. Yao, “Second-order stochastic properties in queueing systems,Proc. IEEE, Vol. 77, pp. 162–170.

  • P. W. Shor, A. Björner, and L. Lovász, “Chip-firing games on graphs,”Euro. J. Combin., 1988, forthcoming.

  • R. Suri, “Perturbation analysis: The state of the art and research issues explained via the GI/G/1 queue,”Proc. IEEE, Vol. 77, pp. 114–137.

  • P. Tsoucas and J. Walrand, “Monotonicity of throughput in non-Markovian networks,”J. Appl. Probab., Vol. 26, pp. 134–141.

  • W. Whitt, “Continuity of generalized semi-Markov processes,”Math. Oper. Res., Vol. 5, pp. 494–501.

Download references

Author information

Authors and Affiliations

Authors

Additional information

Research supported in part by NSF grant ECS-89-96230.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Glasserman, P., Yao, D.D. Algebraic structure of some stochastic discrete event systems, with applications. Discrete Event Dyn Syst 1, 7–35 (1991). https://doi.org/10.1007/BF01797141

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01797141

Key Words

Navigation