Literatura académica sobre el tema "High-level colored time Petri nets"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "High-level colored time Petri nets".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "High-level colored time Petri nets"
Li, Xiaozhong, Yong Li, Ying Liu y Long Wang. "Genetic Expression Level Prediction Based on Extended Fuzzy Petri Nets". International Journal of Pattern Recognition and Artificial Intelligence 31, n.º 10 (16 de marzo de 2017): 1750036. http://dx.doi.org/10.1142/s0218001417500367.
Texto completoFűr, Attila. "Extended knowledge attributed Petri Nets". International Journal of Modeling, Simulation, and Scientific Computing 05, n.º 02 (25 de febrero de 2014): 1350028. http://dx.doi.org/10.1142/s1793962313500281.
Texto completoSzpyrka, Marcin, Jerzy Biernacki y Agnieszka Biernacka. "Tools and Methods for RTCP-Nets Modeling and Verification". Archives of Control Sciences 26, n.º 3 (1 de septiembre de 2016): 339–65. http://dx.doi.org/10.1515/acsc-2016-0019.
Texto completoMnaouer, A. B., K. Day, M. Al-Towaiq y F. A. Masoud. "Performance Evaluation of Database Systems Using Colored Petri Nets". Sultan Qaboos University Journal for Science [SQUJS] 8, n.º 1 (1 de junio de 2003): 33. http://dx.doi.org/10.24200/squjs.vol8iss1pp33-46.
Texto completoYu, Qingkun, Liangcai Cai y Xiao Tan. "Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools". International Journal of Aerospace Engineering 2018 (16 de septiembre de 2018): 1–8. http://dx.doi.org/10.1155/2018/2858375.
Texto completoOrlov, Sergey P., Sergey V. Susarev y Roman A. Uchaikin. "Application of Hierarchical Colored Petri Nets for Technological Facilities’ Maintenance Process Evaluation". Applied Sciences 11, n.º 11 (31 de mayo de 2021): 5100. http://dx.doi.org/10.3390/app11115100.
Texto completoAloysius, Nikolaus, Manahan Siallagan y 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, n.º 1 (29 de junio de 2022): 196–209. http://dx.doi.org/10.31098/ijmesh.v5i1.985.
Texto completoBochem, Arne y Benjamin Leiding. "Rechained: Sybil-Resistant Distributed Identities for the Internet of Things and Mobile Ad Hoc Networks". Sensors 21, n.º 9 (8 de mayo de 2021): 3257. http://dx.doi.org/10.3390/s21093257.
Texto completoPetrosyan, G. R., L. A. Ter-Vardanyan y 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 (18 de mayo de 2015): 37–42. http://dx.doi.org/10.5194/isprsarchives-xl-5-w6-37-2015.
Texto completoPetrosyan, G., L. Ter-Vardanyan y 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 (10 de mayo de 2017): 145–50. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017.
Texto completoTesis sobre el tema "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.
Texto completoFormal 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.
Texto completoIn 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.
Texto completoCapítulos de libros sobre el tema "High-level colored time Petri nets"
Chehaibar, G. "Use of Reentrant Nets in Modular Analysis of Colored Nets". En High-level Petri Nets, 596–617. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_23.
Texto completoShapiro, R. M. "Validation of a VLSI Chip Using Hierarchical Colored Petri Nets". En High-level Petri Nets, 667–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_27.
Texto completoPinci, V. y R. M. Shapiro. "An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets". En High-level Petri Nets, 649–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_26.
Texto completoBruno, Giorgio, Andrea Castella, Gianpaolo Macario y Marco P. Pescarmona. "Scheduling hard real time systems using high-level Petri nets". En 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.
Texto completoMikolajczak, Boleslaw. "Flexibility and Security of Careflow Systems Modeled by Petri Nets". En 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.
Texto completoActas de conferencias sobre el tema "High-level colored time Petri nets"
Haur, Imane, Jean-Luc Bechennec y Olivier H. Roux. "High-level Colored Time Petri Nets for true concurrency modeling in real-time software". En 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2022. http://dx.doi.org/10.1109/codit55151.2022.9803922.
Texto completoBandinelli, S., A. Fuggetta y C. Ghezzi. "Software processes as real-time systems: a case study using high-level Petri nets". En Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]. IEEE, 1992. http://dx.doi.org/10.1109/pccc.1992.200598.
Texto completoChen, Liqiong, Zhiqing Shao, Guisheng Fan y Xiuying Wang. "Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets". En 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications (MESA). IEEE, 2008. http://dx.doi.org/10.1109/mesa.2008.4735673.
Texto completoBiletska, Krystyna, Marie-Helene Masson, Sophie Midenet y Thierry Denaeux. "Short-time OD matrix estimation for a complex junction using fuzzy-timed high-level petri nets". En 2009 12th International IEEE Conference on Intelligent Transportation Systems (ITSC). IEEE, 2009. http://dx.doi.org/10.1109/itsc.2009.5309709.
Texto completoBoudi, Zakaryae, El Miloudi El Koursi y Simon Collart-Dutilleul. "An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling". En 2015 Joint Rail Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/jrc2015-5687.
Texto completo