Skip to main content
SpringerLink
Log in

Stability analysis of buffer priority scheduling policies using Petri nets

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

A Petri net approach to determining the conditions for stability of a re-entrant system with buffer priority scheduling policy is described in this paper. The concept of buffer boundedness based on the dynamic behavior of the marking in the system model is emphasized. The method is used to demonstrate the stability of the first buffer first served (FBFS) and the last buffer first served (LBFS) scheduling policies. finally a sufficient condition for instability of systems with a positive feedback loop (PFL) is established, and an example is given.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Kumar P R, Meyn S P. Stability of queueing networks and scheduling policies.IEEE Trans. Automatic Control, Feb., 1995, 40(2): 251–260.

    Article  MATH  MathSciNet  Google Scholar 

  2. Kleinrock L. Queueing Systems, Volume 1: Theory. New York, John Wiley & Sons, 1975.

    Google Scholar 

  3. Lu S H, Kumar P R. Distributed scheduling based on due dates and buffer priorities.IEEE Trans. Automatic Control, Dec., 1991, 36(12): 1406–1416.

    Article  Google Scholar 

  4. Down D, Meyn S. A Survey of Markovian Methods for Stability of Networks.Lecture Notes in Control and Information Science 1994, Cohen G, Quadvat J (eds.), Springer-Verlag,11th Int. Conf. Analysis and Optimization of Systems, Sophia-Antipolis, June, 1994, pp.490–504.

  5. Murata T. Petri nets: Properties, analysis and applications. InProc. The IEEE, 1989, 77(4): 541–580.

  6. Molloy M K. Fast bounds for stochastic Petri nets. InProc. Int. Workshop on Timed Petri Nets, Torino, Italy, July, 1985, pp.244–249.

  7. Lin C, Marinescu D C. Stochastic high level Petri nets and applications.IEEE Trans. Computer, July, 1988, C-37(7): 815–825.

    Article  Google Scholar 

  8. Gamarnik D. On deciding stability of scheduling policies in queueing systems. InProc. 11th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, January, 2000, pp.467–476.

  9. Lee T S, Ghosh S. The Concept of “stability” in asynchronous distributed decision-making systems.IEEE Trans. Systems, Man, and Cybernetics—Part B: Cybernetics, August, 2000, 30(4): 549–561.

    Article  Google Scholar 

  10. Kosko B. Global stability of generalized additive fuzzy systems.IEEE Trans. Systems, Man, and Cybernetics—Part C: Applications and Reviews, August, 1998, 28(3): 441–452.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, P.R. China

    Chuang Lin & MingWei Xu

Authors
  1. Chuang Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. MingWei Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chuang Lin.

Additional information

This work is supported by the National Natural Science Foundation of China (No.60173012 and No.90104002), the National Grand Foundamental Research 973 Program of China (Grant No.G1999032707), and the 985 Basic Research Foundation of the School of Information Science and Technology of Tsinghua University.

LIN Chuang is a professor of Department of Computer Science and Technology, Tsinghua University, China. He received the Ph.D. degree in computer science from Tsinghua University in 1994. In 1985–1986, he was a visiting scholar at the Department of Computer Sciences, Purdue University. In 1989–1990, he was a visiting research fellow at the Department of Management Sciences and Information Systems, Graduate School of Business, University of Texas at Austin. In 1995–1996, he visited the Department of Computer Science, Hong Kong University of Science and Technology. His current research interests include computer networks, performance evaluation, logic reasoning, and Petri net theory and its applications. He has co-authored more than 90 papers in journals and IEEE conference proceedings in these areas and has published two books.

XU MingWei is an associate professor of the Department of Computer Science and Technology, Tsinghua University. He received the B.S. degree (1994) and Ph.D. degree (1998) in computer science from Tsinghua University. His current research interests include the architecture of computer network, formal methods, protocol testing, and performance evaluation and testing of computer network.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lin, C., Xu, M. Stability analysis of buffer priority scheduling policies using Petri nets. J. Comput. Sci. & Technol. 18, 278–286 (2003). https://doi.org/10.1007/BF02948897

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation