Bibliographies thématiques / Preemptive Time Petri Nets

Littérature scientifique sur le sujet « Preemptive Time Petri Nets »

Auteur : Grafiati
Publié le 10 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Preemptive Time Petri Nets ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Preemptive Time Petri Nets"

1

Heidari, Parisa, et 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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Bucci, G., L. Sassoli et 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 (novembre 2005) : 913–27. http://dx.doi.org/10.1109/tse.2005.122.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Maeda, Yoshiki, et 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Wegener, Jan-Thierry, et 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Penczek, Wojciech, et 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Preemptive Time Petri Nets"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Wang, Jiacun. « Time Petri Nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Emzivat, Yrvann, Benoît Delahaye, Didier Lime et Olivier H. Roux. « Probabilistic Time Petri Nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Dahmani, Djaouida, Jean-Michel Ilié et Malika Boukala. « Time Recursive Petri Nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Bérard, Béatrice, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua et Carla Seatzu. « Petri Nets with Time ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Preemptive Time Petri Nets"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Lask, Timo. « Stochastic time petri nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Boucheneb, Hanifa, et Rachid Hadjidj. « Model checking of time Petri nets ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Preemptive Time Petri Nets » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie