Добірка наукової літератури з теми "High-level colored time Petri nets"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "High-level colored time Petri nets".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "High-level colored time Petri nets"
Li, Xiaozhong, Yong Li, Ying Liu, and Long Wang. "Genetic Expression Level Prediction Based on Extended Fuzzy Petri Nets." International Journal of Pattern Recognition and Artificial Intelligence 31, no. 10 (March 16, 2017): 1750036. http://dx.doi.org/10.1142/s0218001417500367.
Повний текст джерелаFűr, Attila. "Extended knowledge attributed Petri Nets." International Journal of Modeling, Simulation, and Scientific Computing 05, no. 02 (February 25, 2014): 1350028. http://dx.doi.org/10.1142/s1793962313500281.
Повний текст джерелаSzpyrka, Marcin, Jerzy Biernacki, and Agnieszka Biernacka. "Tools and Methods for RTCP-Nets Modeling and Verification." Archives of Control Sciences 26, no. 3 (September 1, 2016): 339–65. http://dx.doi.org/10.1515/acsc-2016-0019.
Повний текст джерелаMnaouer, A. B., K. Day, M. Al-Towaiq, and F. A. Masoud. "Performance Evaluation of Database Systems Using Colored Petri Nets." Sultan Qaboos University Journal for Science [SQUJS] 8, no. 1 (June 1, 2003): 33. http://dx.doi.org/10.24200/squjs.vol8iss1pp33-46.
Повний текст джерелаYu, Qingkun, Liangcai Cai, and Xiao Tan. "Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools." International Journal of Aerospace Engineering 2018 (September 16, 2018): 1–8. http://dx.doi.org/10.1155/2018/2858375.
Повний текст джерелаOrlov, Sergey P., Sergey V. Susarev, and Roman A. Uchaikin. "Application of Hierarchical Colored Petri Nets for Technological Facilities’ Maintenance Process Evaluation." Applied Sciences 11, no. 11 (May 31, 2021): 5100. http://dx.doi.org/10.3390/app11115100.
Повний текст джерелаAloysius, Nikolaus, Manahan Siallagan, and Chao Ou-Yang. "Laboratory Performance Modeling using Petri Nets in National Standardization Agency in Indonesia." International Journal of Management, Entrepreneurship, Social Science and Humanities 5, no. 1 (June 29, 2022): 196–209. http://dx.doi.org/10.31098/ijmesh.v5i1.985.
Повний текст джерелаBochem, Arne, and Benjamin Leiding. "Rechained: Sybil-Resistant Distributed Identities for the Internet of Things and Mobile Ad Hoc Networks." Sensors 21, no. 9 (May 8, 2021): 3257. http://dx.doi.org/10.3390/s21093257.
Повний текст джерелаPetrosyan, G. R., L. A. Ter-Vardanyan, and A. V. Gaboutchian. "MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XL-5/W6 (May 18, 2015): 37–42. http://dx.doi.org/10.5194/isprsarchives-xl-5-w6-37-2015.
Повний текст джерелаPetrosyan, G., L. Ter-Vardanyan, and A. Gaboutchian. "MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLII-2/W4 (May 10, 2017): 145–50. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017.
Повний текст джерелаДисертації з теми "High-level colored time Petri nets"
Haur, Imane. "AUTOSAR compliant multi-core RTOS formal modeling and verification." Electronic Thesis or Diss., Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0057.
Повний текст джерелаFormal verification is a solution to increase the system’s implementation reliability. In our thesis work, we are interestedin using these methods to verify multi-core RTOS. We propose a model-checking approach using time Petri nets extended with colored transitions and high-level features. We use this formalism to model the Trampoline multi-core OS, compliant with the OSEK/VDX and AUTOSAR standards. We first define this formalism and show its suitability for modeling real-time concurrent systems. We then use this formalism to model the Trampoline multi-core RTOS and verify by model-checkingits conformity with the AUTOSAR standard. From this model, we can verify properties of both the OS and the application, such as the schedulability of a real-time system and the synchronization mechanisms: concurrent access to the data structures of the OS, multicore scheduling, and inter-core interrupt handling. As an illustration, this method allowed the automatic identification of two possible errors of the Trampoline OS in concurrent execution, showing insufficient data protection andfaulty synchronization
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.
Повний текст джерела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
Marsal, Gaelle [Verfasser]. "Evaluation of time performances of Ethernet-based Automation Systems by simulation of High-level Petri Nets / Gaelle Marsal." Aachen : Shaker, 2007. http://d-nb.info/1166512339/34.
Повний текст джерелаЧастини книг з теми "High-level colored time Petri nets"
Chehaibar, G. "Use of Reentrant Nets in Modular Analysis of Colored Nets." In High-level Petri Nets, 596–617. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_23.
Повний текст джерелаShapiro, R. M. "Validation of a VLSI Chip Using Hierarchical Colored Petri Nets." In High-level Petri Nets, 667–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_27.
Повний текст джерелаPinci, V., and R. M. Shapiro. "An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets." In High-level Petri Nets, 649–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_26.
Повний текст джерелаBruno, Giorgio, Andrea Castella, Gianpaolo Macario, and Marco P. Pescarmona. "Scheduling hard real time systems using high-level Petri nets." In Application and Theory of Petri Nets 1992, 93–112. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55676-1_6.
Повний текст джерелаMikolajczak, Boleslaw. "Flexibility and Security of Careflow Systems Modeled by Petri Nets." In Certification and Security in Health-Related Web Applications, 84–111. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61692-895-7.ch005.
Повний текст джерелаТези доповідей конференцій з теми "High-level colored time Petri nets"
Haur, Imane, Jean-Luc Bechennec, and Olivier H. Roux. "High-level Colored Time Petri Nets for true concurrency modeling in real-time software." In 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2022. http://dx.doi.org/10.1109/codit55151.2022.9803922.
Повний текст джерелаBandinelli, S., A. Fuggetta, and C. Ghezzi. "Software processes as real-time systems: a case study using high-level Petri nets." In Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]. IEEE, 1992. http://dx.doi.org/10.1109/pccc.1992.200598.
Повний текст джерелаChen, Liqiong, Zhiqing Shao, Guisheng Fan, and Xiuying Wang. "Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets." In 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications (MESA). IEEE, 2008. http://dx.doi.org/10.1109/mesa.2008.4735673.
Повний текст джерелаBiletska, Krystyna, Marie-Helene Masson, Sophie Midenet, and Thierry Denaeux. "Short-time OD matrix estimation for a complex junction using fuzzy-timed high-level petri nets." In 2009 12th International IEEE Conference on Intelligent Transportation Systems (ITSC). IEEE, 2009. http://dx.doi.org/10.1109/itsc.2009.5309709.
Повний текст джерелаBoudi, Zakaryae, El Miloudi El Koursi, and Simon Collart-Dutilleul. "An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling." In 2015 Joint Rail Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/jrc2015-5687.
Повний текст джерела