Books on the topic 'Preemptive Time Petri Nets'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 42 books for your research on the topic 'Preemptive Time Petri Nets.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Popova-Zeugmann, Louchka. Time and Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41115-1.
Full textHayat, Asif. Deterministic scheduling of time petri nets. Sheffield: University of Sheffield, Dept.of Automatic Control and Systems Engineering, 1996.
Find full textInstitute 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.
Find full textHayat, Asif. Deterministic scheduling of time petri nets. Sheffield: University of Sheffield, Dept.of Automatic Control and Systems Engineering, 1996.
Find full textInstitute 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.
Find full textInstitute 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.
Find full textW, 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.
Find full textPenczek, 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.
Full textJ, Antsaklis Panos, ed. Supervisory control of discrete event systems using Petri nets. Boston: Kluwer Academic Publishers, 1998.
Find full textMoody, John O. Supervisory Control of Discrete Event Systems Using Petri Nets. Boston, MA: Springer US, 1998.
Find full textNaiqi, Wu, ed. System modeling and control with resource-oriented Petri nets. Boca Raton, FL: CRC Press, 2010.
Find full textZhou, MengChu. System modeling and control with resource-oriented Petri nets. Boca Raton, FL: CRC Press, 2010.
Find full textZhou, MengChu. System modeling and control with resource-oriented Petri nets. Boca Raton, FL: CRC Press, 2010.
Find full textSeatzu, Carla. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. London: Springer London, 2013.
Find full textDeclerck, Philippe. Discrete event systems in dioid algebra and conventional algebra. London: ISTE, 2013.
Find full textZnO bao mo zhi bei ji qi guang, dian xing neng yan jiu. Shanghai Shi: Shanghai da xue chu ban she, 2010.
Find full textPopova-Zeugmann, Louchka. Time and Petri Nets. Springer Berlin / Heidelberg, 2013.
Find full textTime And Petri Nets. Springer-Verlag Berlin and Heidelberg GmbH &, 2013.
Find full textPopova-Zeugmann, Louchka. Time and Petri Nets. Springer, 2013.
Find full textPopova-Zeugmann, Louchka. Time and Petri Nets. Springer, 2016.
Find full textWu, Naiqi, and MengChu Zhou. System Modeling and Control with Resource-Oriented Petri Nets. Taylor & Francis Group, 2018.
Find full textDavidrajuh, Reggie. Modeling Discrete-Event Systems with GPenSIM: An Introduction. Springer, 2018.
Find full textWu, Naiqi, and MengChu Zhou. System Modeling and Control with Resource-Oriented Petri Nets. Taylor & Francis Group, 2018.
Find full textWu, Naiqi, and MengChu Zhou. System Modeling and Control with Resource-Oriented Petri Nets. Taylor & Francis Group, 2018.
Find full textWu, Naiqi, and MengChu Zhou. System Modeling and Control with Resource-Oriented Petri Nets. Taylor & Francis Group, 2018.
Find full textWu, Naiqi, and MengChu Zhou. System Modeling and Control with Resource-Oriented Petri Nets. Taylor & Francis Group, 2017.
Find full textPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer London, Limited, 2007.
Find full textPenczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2010.
Find full textAdvances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence). Springer, 2006.
Find full textHrúz, Branislav, and MengChu Zhou. Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools. Springer, 2007.
Find full textControl Of Discreteevent Systems Automata And Petri Net Perspectives. Springer, 2012.
Find full textHayward, Duston L. A practical application of Petri nets in the software safety analysis of a real-time military system. 1987.
Find full textKaratkevich, Andrei. Dynamic Analysis of Petri Net-Based Discrete Systems. Springer London, Limited, 2007.
Find full textDynamic Analysis of Petri Net-Based Discrete Systems. Springer, 2007.
Find full textSilva, Manuel, Carla Seatzu, and Jan H. van Schuppen. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. Springer, 2012.
Find full textDeclerck, Philippe. Discrete Event Systems in Dioid Algebra and Conventional Algebra. Wiley & Sons, Incorporated, John, 2013.
Find full textDeclerck, Philippe. Discrete Event Systems in Dioid Algebra and Conventional Algebra. Wiley & Sons, Incorporated, John, 2012.
Find full textDeclerck, Philippe. Discrete Event Systems in Dioid Algebra and Conventional Algebra. Wiley & Sons, Incorporated, John, 2013.
Find full textDeclerck, Philippe. Discrete Event Systems in Dioid Algebra and Conventional Algebra. Wiley & Sons, Incorporated, John, 2013.
Find full textDeclerck, Philippe. Discrete Event Systems in Dioid Algebra and Conventional Algebra. Wiley & Sons, Incorporated, John, 2013.
Find full textModeling and Control of Discrete-event Dynamic Systems: With Petri Nets and Other Tools (Advanced Textbooks in Control and Signal Processing). Springer, 2007.
Find full textATAMM enhancement and multiprocessor performance evaluation: Final report for the period ended March 31, 1994. Norfolk, Va: Old Dominion University Research Foundation, 1994.
Find full text