Relevant bibliographies by topics / Preemptive Time Petri Nets

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Preemptive Time Petri Nets'

Author: Grafiati
Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Preemptive Time Petri Nets"

1

Heidari, Parisa, and Hanifa Boucheneb. "Controller Synthesis of Time Petri Nets Using Stopwatch." Journal of Engineering 2013 (2013): 1–13. http://dx.doi.org/10.1155/2013/970487.

Full text
Abstract:
Scheduling is often a difficult task specially in complex systems. Few tools are targeted at both modeling and scheduling of the systems. In controller synthesis, a scheduler is seen as a controller to manage shared resources and timing requirements of a system. This paper proposes a time Petri net-based approach for controller synthesis and finding a scheduler using stopwatch. The solution suggested here is particularly interesting for preemptive scheduling purposes. This paper deals with time Petri nets with controllable and uncontrollable transitions and assumes that a controllable transition can be suspended and retrieved when necessary. In fact, the paper supposes that every controllable transition can be associated with stopwatch. With this hypothesis, the objective is to model a system by time Petri nets and calculate subintervals where the system violates the given property. Then, the controller associates the corresponding controllable transitions with stopwatch to suspend them in their bad subintervals. The interesting advantage of this solution is that this approach synthesizes an ordinary time Petri net model before adding stopwatch. Therefore, complicated computations and overapproximations required during controller synthesis of time Petri nets associated with stopwatch are avoided.
APA, Harvard, Vancouver, ISO, and other styles
2

Adjir, Noureddine, Pierre de Saqui-Sannes, and Kamel Mustapha Rahmouni. "Conformance Testing of Preemptive Real-Time Systems." International Journal of Embedded and Real-Time Communication Systems 4, no. 4 (October 2013): 1–26. http://dx.doi.org/10.4018/ijertcs.2013100101.

Full text
Abstract:
The paper presents an approach for model-based black-box conformance testing of preemptive real-time systems using Labeled Prioritized Time Petri Nets with Stopwatches (LPrSwTPN). These models not only specify system/environment interactions and time constraints. They further enable modelling of suspend/resume operations in real-time systems. The test specification used to generate test primitives, to check the correctness of system responses and to draw test verdicts is an LPrSwTPN made up of two concurrent sub-nets that respectively specify the system under test and its environment. The algorithms used in the TINA model analyzer have been extended to support concurrent composed subnets. Relativized stopwatch timed input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Assuming the modelled systems are non deterministic and partially observable, the paper proposes a test generation and execution algorithm which is based on symbolic techniques and implements an online testing policy and outputs test results for the (part of the) selected environment.
APA, Harvard, Vancouver, ISO, and other styles
3

Bicchierai, Irene, Giacomo Bucci, Laura Carnevali, and Enrico Vicario. "Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study." IEEE Transactions on Industrial Informatics 9, no. 4 (November 2013): 1806–18. http://dx.doi.org/10.1109/tii.2012.2205399.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bucci, G., L. Sassoli, and E. Vicario. "Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets." IEEE Transactions on Software Engineering 31, no. 11 (November 2005): 913–27. http://dx.doi.org/10.1109/tse.2005.122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Carnevali, Laura, Lorenzo Ridi, and Enrico Vicario. "Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle." IEEE Transactions on Software Engineering 37, no. 6 (November 2011): 826–44. http://dx.doi.org/10.1109/tse.2011.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Maeda, Yoshiki, and Toshimitu Ushio. "SMT Formulae of Preemptive Controlled Timed Petri Nets and its Application to Distributed Mediators." Transactions of the Institute of Systems, Control and Information Engineers 29, no. 11 (2016): 518–24. http://dx.doi.org/10.5687/iscie.29.518.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mu, Haibo, Linzhong Liu, and Xiaojing Li. "Signal Preemption Control of Emergency Vehicles Based on Timed Colored Petri Nets." Discrete Dynamics in Nature and Society 2018 (August 1, 2018): 1–12. http://dx.doi.org/10.1155/2018/7095485.

Full text
Abstract:
This paper focuses on the use of timed colored Petri nets (TCPN) to study emergency vehicle (EV) preemption control problem. TCPN is adopted to establish an urban traffic network model composed of three submodels, namely, traffic flow model, traffic signal display and phase switch model, and traffic signal switch control model. An EV preemption optimization control system, consisting of monitoring subsystem, phase time determination subsystem, and phase switching control subsystem, is designed. The calculation method of the travelling speed of EV on road sections is presented, and the methods of determining the actual green time of current phase and the other phase are given. Some computational comparisons are performed to verify the signal preemption control strategies, and simulation results indicate that the proposed approach can provide efficient and safe running environments for emergency vehicles and minimize EV’s interference to social vehicles simultaneously.
APA, Harvard, Vancouver, ISO, and other styles
8

Huang, Yi Sheng, and Yi Shun Weng. "Based on Synchronized Timed Petri Nets for Emergency Vehicle Preemption Systems." Advanced Materials Research 291-294 (July 2011): 2775–78. http://dx.doi.org/10.4028/www.scientific.net/amr.291-294.2775.

Full text
Abstract:
Timed Petri net (TPN) has been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this paper, we propose a new methodology to design, analyze and implement an urban emergency vehicle preemption control system by using STPN. The applications of STPN to two-phase traffic lights and emergency vehicle preemption are illustrated. The advantage of the proposed approach is the clear presentation of traffic lights’ behaviors in terms of conditions and events that cause the preemption phases alternations. Finally, a two-phase traffic lights control system with emergency vehicle preemption will be realized by using STPN. To our knowledge, this is the first work that employs STPN to model a two-phase traffic lights control system with emergency vehicle preemption system.
APA, Harvard, Vancouver, ISO, and other styles
9

Wegener, Jan-Thierry, and Louchka Popova-Zeugmann. "Petri Nets with Time Windows: A Comparison to Classical Petri Nets." Fundamenta Informaticae 93, no. 1-3 (2009): 337–52. http://dx.doi.org/10.3233/fi-2009-0106.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Molloy, M. K. "Discrete Time Stochastic Petri Nets." IEEE Transactions on Software Engineering SE-11, no. 4 (April 1985): 417–23. http://dx.doi.org/10.1109/tse.1985.232230.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Preemptive Time Petri Nets"

1

Bowden, Fred D. J. "The modelling and analysis of command and control decision processes using extended time petri nets." Title page, table of contents and abstract only, 2001. http://web4.library.adelaide.edu.au/theses/09PH/09phb784.pdf.

Full text
Abstract:
Bibliography: leaves 177-191. This thesis uses a new type of extended time Petri net to model and analyse command and control decision processes. A comprehensive review of existing time Petri net structures is given. This concludes with the introduction of time Petri net structure that incorporates the most commonly used time structures. This extended time Petri net structure is then used in the definition of the basic modelling blocks required to model command and control decision processes. This basic modelling block forms the basis of the direct analysis techniques that are introduced in the thesis.
APA, Harvard, Vancouver, ISO, and other styles
2

Cavalcante, Sergio Vanderlei. "A hardware-software co-design system for embedded real-time applications." Thesis, University of Newcastle Upon Tyne, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360339.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jiffry, Mustafa Abdulrahman. "Petri nets approach for the analysis of MASCOT interprocess communications." Thesis, King's College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.324637.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rogge-Solti, Andreas, Laura Vana, and Jan Mendling. "Time Series Petri Net Models - Enrichment and Prediction." CEUR Workshop Proceedings, 2015. http://epub.wu.ac.at/5394/1/paper8.pdf.

Full text
Abstract:
Operational support as an area of process mining aims to predict the temporal performance of individual cases and the overall business process. Although seasonal effects, delays and performance trends are well-known to exist for business processes, there is up until now no prediction model available that explicitly captures this. In this paper, we introduce time series Petri net models. These models integrate the control flow perspective of Petri nets with time series prediction. Our evaluation on the basis of our prototypical implementation demonstrates the merits of this model in terms of better accuracy in the presence of time series effects.
APA, Harvard, Vancouver, ISO, and other styles
5

Barate', A. "Application of Petri Nets to the Real-Time Interaction with Music Structures." Doctoral thesis, Università degli Studi di Milano, 2009. http://hdl.handle.net/2434/56013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Xia, Fei. "Supporting the MASCOT method with Petri net techniques for real-time systems development." Thesis, King's College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Clark, Ian George. "A unified approach to the study of asynchronous communication mechanisms in real-time systems." Thesis, King's College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.326237.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Shi, Lihua. "Uniting formal and structured methods for the development of reliable software." Thesis, Manchester Metropolitan University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.388141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Cortés, Luis Alejandro. "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems." Licentiate thesis, Linköping University, Linköping University, ESLAB - Embedded Systems Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5751.

Full text
Abstract:

Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.

In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.

First, we define a formal model of computation for real-time embedded systems based on Petri nets. Our model can capture important features of such systems and allows their representations at different levels of granularity. Our modeling formalism has a welldefined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process.

Second, we propose an approach to the problem of formal verification of real-time embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking ools. Various examples, including a realistic industrial case, demonstrate the feasibility of our approach on practical applications.

APA, Harvard, Vancouver, ISO, and other styles
10

Marsal, Gaëlle. "Evaluation of time performances of ethernet-based automation systems by simulation of high-level Petri nets." Cachan, Ecole normale supérieure, 2006. http://tel.archives-ouvertes.fr/tel-00162228.

Full text
Abstract:
Nous évaluons dans cette thèse deux performances temporelles des architectures d’automatisation distribuées sur Ethernet commuté et utilisant un modèle de coopération client/serveur : Le temps de réponse entre une occurrence d’un événement d’entrée et l’occurrence de l’événement de sortie correspondant ; Le temps de cycle réeseau pour la scrutation par un contrôleur de l’ensemble de ses modules d’entrées / sorties déportées. La conjonction de trois mécanismes de consommation de temps rend ces deux performances variables et difficiles à déterminer de manière analytique. Par conséquent, la méthode proposée se base sur la simulation d’un modèle en réseau de Petri temporisé et coloré du comportement dynamique de l’architecture complète. Les résultats obtenus sur six architectures test permettent de : Montrer que les architectures multi-contrôleurs utilisant le modèle de coopération client / serveur donnent des temps de cycle réseau plus rapide que celles basées sur les modèles maître / esclave et producteur / consommateur ; Quantifier l’influence du réseau et des mécanismes de consommation du temps
In this work, two time performances of switched Ethernet automation systems that use a client/server cooperation model are evaluated : The response time from an occurrence of an input event to the occurrence of the corresponding output event ; The network cycle time for the scanning by a controller of the whole set of its remote inputs / outputs modules. The conjunction of three time consumption mechanisms makes both time performances variable and difficult to compute in an analytic fashion. Thus, the proposed method is based on simulation of a timed and coloured Petri net model of the dynamic behaviour of the whole automation architecture. The results which have been obtained on six benchmark architectures enabled us : To show that multi-controllers architectures using a client/server cooperation model provide faster network cycle times than those based on master/slave and producer/consumer models ; To quantify the influence of the time consumption mechanisms on these performances
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Preemptive Time Petri Nets"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Preemptive Time Petri Nets"

1

Liu, Guanjun. "Time Petri Nets and Time-Soundness." In Petri Nets, 203–36. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-6309-4_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Jiacun. "Time Petri Nets." In The Kluwer International Series on Discrete Event Dynamic Systems, 63–123. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Liu, Guanjun. "Plain Time Petri Nets with Priorities." In Petri Nets, 259–76. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-6309-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Popova-Zeugmann, Louchka. "Timed Petri Nets." In Time and Petri Nets, 139–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41115-1_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Liu, Guanjun. "Verifying Timed Computation Tree Logic Based on Time Petri Nets." In Petri Nets, 237–57. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-6309-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Emzivat, Yrvann, Benoît Delahaye, Didier Lime, and Olivier H. Roux. "Probabilistic Time Petri Nets." In Application and Theory of Petri Nets and Concurrency, 261–80. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-39086-4_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dahmani, Djaouida, Jean-Michel Ilié, and Malika Boukala. "Time Recursive Petri Nets." In Transactions on Petri Nets and Other Models of Concurrency I, 104–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89287-8_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bérard, Béatrice, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, and Carla Seatzu. "Petri Nets with Time." In Lecture Notes in Control and Information Sciences, 319–41. London: Springer London, 2013. http://dx.doi.org/10.1007/978-1-4471-4276-8_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Popova-Zeugmann, Louchka. "The Classic Petri Net." In Time and Petri Nets, 7–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41115-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Preemptive Time Petri Nets"

1

Carnevali, Laura, Luigi Sassoli, and Enrico Vicario. "Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software." In 19th Euromicro Conference on Real-Time Systems (ECRTS'07). IEEE, 2007. http://dx.doi.org/10.1109/ecrts.2007.86.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Abdelli, A., and N. Badache. "Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements." In IEEE International Conference on Computer Systems and Applications, 2006. IEEE, 2006. http://dx.doi.org/10.1109/aiccsa.2006.205062.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Zhao, LingBo, Liming Pu, Zhixia Zhao, Bo Huang, JianGen Hao, and Yisheng Huang. "Emergency Vehicle Preemption Control of T-shaped Intersection with Time Petri Nets." In 2018 Chinese Automation Congress (CAC). IEEE, 2018. http://dx.doi.org/10.1109/cac.2018.8623618.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Yu, JinShan, Tun Li, and QingPing Tan. "Scheduling of Transactions under Resource Constraint Based on Extended Preemptive Time Petri Nets for SoC System-Level Test-Case Generation." In Second International Conference on Systems. IEEE, 2007. http://dx.doi.org/10.1109/icons.2007.45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Comlan, Maurice, David Delfieu, Medesu Sogbohossou, and Antoine Vianou. "Embedding time Petri nets." In 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2017. http://dx.doi.org/10.1109/codit.2017.8102625.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lask, Timo. "Stochastic time petri nets." In EOOLT'17: 8th International Workshop on Equation-Based Object-Oriented Languages and Tools. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3158191.3158196.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Basile, Francesco, Pasquale Chiacchio, and Jolanda Coppola. "Identification of labeled Time Petri nets." In 2016 13th International Workshop on Discrete Event Systems (WODES). IEEE, 2016. http://dx.doi.org/10.1109/wodes.2016.7497891.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Benito, Franck Carlos Velez, and Luis Allan Kunzle. "Relaxed Unfolding for Time Petri Nets." In 2013 International Conference on Computer Sciences and Applications (CSA). IEEE, 2013. http://dx.doi.org/10.1109/csa.2013.199.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Boucheneb, Hanifa, and Rachid Hadjidj. "Model checking of time Petri nets." In First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007). BCS Learning & Development, 2007. http://dx.doi.org/10.14236/ewic/vecos2007.2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Time Petri Nets Analysis with TINA." In Third International Conference on the Quantitative Evaluation of Systems - (QEST'06). IEEE, 2006. http://dx.doi.org/10.1109/qest.2006.56.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Preemptive Time Petri Nets' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography