Books on the topic 'Stochastic Time Petri Nets'

Institute for Computer Applications in Science and Engineering., ed. Discrete-time Markovian stochastic Petri nets. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Institute for Computer Applications in Science and Engineering., ed. Discrete-time Markovian stochastic Petri nets. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Institute for Computer Applications in Science and Engineering., ed. Discrete-time Markovian stochastic Petri nets. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Bause, Falko, and Pieter S. Kritzinger. Stochastic Petri Nets. Wiesbaden: Vieweg+Teubner Verlag, 1996. http://dx.doi.org/10.1007/978-3-663-11521-2.

Bause, Falko, and Pieter S. Kritzinger. Stochastic Petri Nets. Wiesbaden: Vieweg+Teubner Verlag, 2002. http://dx.doi.org/10.1007/978-3-322-86501-4.

Haas, Peter J. Stochastic Petri Nets. New York, NY: Springer New York, 2002. http://dx.doi.org/10.1007/b97265.

Lei, Lei, Chuang Lin, and Zhangdui Zhong. Stochastic Petri Nets for Wireless Networks. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-16883-8.

Stochastic Petri nets: Modelling, stability, simulation. New York: Springer, 2002.

M, Ajmone Marsan, ed. Modelling with generalized stochastic Petri nets. Chichester: Wiley, 1995.

Gianfranco, Ciardo, and Institute for Computer Applications in Science and Engineering., eds. Discrete deterministic and stochastic Petri nets. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1996.

Popova-Zeugmann, Louchka. Time and Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41115-1.

David, Nicol, Trivedi Kishor Shridharbhai 1946-, and United States. National Aeronautics and Space Administration., eds. Discrete-event simulation of fluid stochastic Petri nets. [Washington, D.C: National Aeronautics and Space Administration, 1997.

David, Nicol, Trivedi Kishor Shridharbhai 1946-, and United States. National Aeronautics and Space Administration., eds. Discrete-event simulation of fluid stochastic Petri nets. [Washington, D.C: National Aeronautics and Space Administration, 1997.

David, Nicol, Trivedi Kishor Shridharbhai 1946-, and United States. National Aeronautics and Space Administration., eds. Discrete-event simulation of fluid stochastic Petri nets. [Washington, D.C: National Aeronautics and Space Administration, 1997.

David, Nicol, Trivedi Kishor Shridharbhai 1946-, and United States. National Aeronautics and Space Administration., eds. Discrete-event simulation of fluid stochastic Petri nets. [Washington, D.C: National Aeronautics and Space Administration, 1997.

Lindemann, Christoph. Performance modelling with deterministic and stochastic Petri nets. Chichester: Wiley, 1998.

Bause, Falko. Stochastic Petri nets: An introduction to the theory. Wiesbaden: Vieweg, 1996.

Hayat, Asif. Deterministic scheduling of time petri nets. Sheffield: University of Sheffield, Dept.of Automatic Control and Systems Engineering, 1996.

Hayat, Asif. Deterministic scheduling of time petri nets. Sheffield: University of Sheffield, Dept.of Automatic Control and Systems Engineering, 1996.

Mujica, Isabel Rojas. Comparison of three SPN packages: Great SPN 1.6, DSP Nexpress 1.2, SPN 3.0. Edinburgh: Computer Systems Group, University of Edinburgh, 1994.

W, Stoughton John, Som Sukhamoy, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Division., eds. Modeling and optimum time performance for concurrent processing. [Washington, DC]: National Aeronautics and Space Administration, Scientific and Technical Information Division, 1988.

Donatelli, S. A comparison of performance evaluation process algebra and generalized stochastic Petri nets. Edinburgh: Computer Systems Group, University of Edinburgh, 1994.

Penczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/978-3-540-32870-4.

J, Antsaklis Panos, ed. Supervisory control of discrete event systems using Petri nets. Boston: Kluwer Academic Publishers, 1998.

Moody, John O. Supervisory Control of Discrete Event Systems Using Petri Nets. Boston, MA: Springer US, 1998.

Naiqi, Wu, ed. System modeling and control with resource-oriented Petri nets. Boca Raton, FL: CRC Press, 2010.

Zhou, MengChu. System modeling and control with resource-oriented Petri nets. Boca Raton, FL: CRC Press, 2010.

Zhou, MengChu. System modeling and control with resource-oriented Petri nets. Boca Raton, FL: CRC Press, 2010.

Joshua, Gluckman, Nicol David, and Institute for Computer Applications in Science and Engineering., eds. Distributed state-space generation of discrete-state stochastic models. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Joshua, Gluckman, Nicol David, and Institute for Computer Applications in Science and Engineering., eds. Distributed state-space generation of discrete-state stochastic models. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Joshua, Gluckman, Nicol David, and Institute for Computer Applications in Science and Engineering., eds. Distributed state-space generation of discrete-state stochastic models. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1995.

Seatzu, Carla. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. London: Springer London, 2013.

Declerck, Philippe. Discrete event systems in dioid algebra and conventional algebra. London: ISTE, 2013.

ZnO bao mo zhi bei ji qi guang, dian xing neng yan jiu. Shanghai Shi: Shanghai da xue chu ban she, 2010.

Haas, Peter J. Stochastic Petri Nets. Springer, 2002.

Stochastic Petri Nets. Friedrich Vieweg & Sohn Verlag, 2002.

Lei, Lei, Chuang Lin, and Zhangdui Zhong. Stochastic Petri Nets for Wireless Networks. Springer London, Limited, 2015.

Haas, Peter J. Stochastic Petri Nets: Modelling, Stability, Simulation. Springer New York, 2006.

Lei, Lei, Chuang Lin, and Zhangdui Zhong. Stochastic Petri Nets for Wireless Networks. Springer, 2015.

Popova-Zeugmann, Louchka. Time and Petri Nets. Springer Berlin / Heidelberg, 2013.

Time And Petri Nets. Springer-Verlag Berlin and Heidelberg GmbH &, 2013.

Popova-Zeugmann, Louchka. Time and Petri Nets. Springer, 2013.

Popova-Zeugmann, Louchka. Time and Petri Nets. Springer, 2016.

Stochastic Petri Nets: An Introduction to the Theory. Wiesbaden: Vieweg+Teubner Verlag, 1996.

Stochastic Petri Nets Springer Series in Operations Research and Financial Enginee. Springer, 2010.

Discrete Deterministic And Stochastic Petri Nets... AD-A322409... Oct. 7, 1997. [S.l: s.n., 1998.

National Aeronautics and Space Administration (NASA) Staff. Analysis of Phase-Type Stochastic Petri Nets with Discrete and Continuous Timing. Independently Published, 2018.

German, Reinhard. Performance Analysis of Communication Systems : Modeling with Non-Markovian Stochastic Petri Nets. Wiley, 2000.

Inkpen, Christopher John. The application of petri-nets and stochastic processes to knowledge based project planning. 1992.

Wu, Naiqi, and MengChu Zhou. System Modeling and Control with Resource-Oriented Petri Nets. Taylor & Francis Group, 2018.