Artículos de revistas sobre el tema "SIGNED PETRI NETS"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 43 mejores artículos de revistas para su investigación sobre el tema "SIGNED 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.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Kansal, Sangita y Payal Dabas. "An Introduction to Signed Petri Net". Journal of Mathematics 2021 (15 de junio de 2021): 1–8. http://dx.doi.org/10.1155/2021/5595536.
Texto completoMurdianto, Deny, Shinta Tri Kismanti y Dwi Santoso. "Model Petri Net Produksi Tahu Pada Industri Skala Rumah Tangga". Contemporary Mathematics and Applications (ConMathA) 5, n.º 2 (26 de octubre de 2023): 54–63. http://dx.doi.org/10.20473/conmatha.v5i2.47291.
Texto completoTian, Yinhua, Xiaowen Pang, Yan Su, Dong Han y Yuyue Du. "Cross-Departmental Collaboration Approach for Earthquake Emergency Response Based on Synchronous Intersection between Traditional and Logical Petri Nets". Electronics 12, n.º 5 (2 de marzo de 2023): 1207. http://dx.doi.org/10.3390/electronics12051207.
Texto completoStaines, Anthony Spiteri. "Concurrency and Petri Net Models". International Journal of Circuits, Systems and Signal Processing 16 (11 de marzo de 2022): 852–58. http://dx.doi.org/10.46300/9106.2022.16.104.
Texto completoJiao, Li. "A note on regular Petri nets". Information Processing Letters 108, n.º 3 (octubre de 2008): 110–14. http://dx.doi.org/10.1016/j.ipl.2008.04.012.
Texto completoKanich, Ondřej y Martin Drahanský. "Simulation of synthetic fingerprint generation using Petri nets". IET Biometrics 6, n.º 6 (11 de abril de 2017): 402–8. http://dx.doi.org/10.1049/iet-bmt.2016.0041.
Texto completoPerše, Matej, Matej Kristan, Janez Perš, Gašper Mušič, Goran Vučkovič y Stanislav Kovačič. "Analysis of multi-agent activity using petri nets". Pattern Recognition 43, n.º 4 (abril de 2010): 1491–501. http://dx.doi.org/10.1016/j.patcog.2009.11.011.
Texto completoYakrangi, Oz, Roque J. Saltarén Pazmiño, Juan S. Cely, Alejandro Rodríguez, Cecilia E. García Cena, Pablo San Segundo Carrillo, Julio De La Cueva y Amir Shapiro. "An Intelligent Algorithm for Decision Making System and Control of the GEMMA Guide Paradigm Using the Fuzzy Petri Nets Approach". Electronics 10, n.º 4 (19 de febrero de 2021): 489. http://dx.doi.org/10.3390/electronics10040489.
Texto completoBest, Eike y Javier Esparza. "Existence of home states in Petri nets is decidable". Information Processing Letters 116, n.º 6 (junio de 2016): 423–27. http://dx.doi.org/10.1016/j.ipl.2016.01.011.
Texto completoDworzański, L. W. y I. A. Lomazova. "CPN tools-assisted simulation and verification of nested Petri nets". Automatic Control and Computer Sciences 47, n.º 7 (diciembre de 2013): 393–402. http://dx.doi.org/10.3103/s0146411613070201.
Texto completoGrobelna, Iwona y Andrei Karatkevich. "Challenges in Application of Petri Nets in Manufacturing Systems". Electronics 10, n.º 18 (19 de septiembre de 2021): 2305. http://dx.doi.org/10.3390/electronics10182305.
Texto completoTroncale, Sylvie, Jean-Paul Comet y Gilles Bernot. "Enzymatic competition: Modeling and verification with timed hybrid petri nets". Pattern Recognition 42, n.º 4 (abril de 2009): 562–66. http://dx.doi.org/10.1016/j.patcog.2008.09.019.
Texto completoWATANABE, Toshimasa y Satoshi TAOKA. "Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, n.º 11 (2009): 2707–16. http://dx.doi.org/10.1587/transfun.e92.a.2707.
Texto completoKOBAYASHI, Koichi y Kunihiko HIRAISHI. "Optimal Control of Boolean Biological Networks Modeled by Petri Nets". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96.A, n.º 2 (2013): 532–39. http://dx.doi.org/10.1587/transfun.e96.a.532.
Texto completoMIYAMOTO, T. "A Survey of Object-Oriented Petri Nets and Analysis Methods". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A, n.º 11 (1 de noviembre de 2005): 2964–71. http://dx.doi.org/10.1093/ietfec/e88-a.11.2964.
Texto completoTAOKA, S. "Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A, n.º 11 (1 de noviembre de 2005): 3051–61. http://dx.doi.org/10.1093/ietfec/e88-a.11.3051.
Texto completoZaitsev, D. A. "Verification of computing grids with special edge conditions by infinite Petri nets". Automatic Control and Computer Sciences 47, n.º 7 (diciembre de 2013): 403–12. http://dx.doi.org/10.3103/s0146411613070262.
Texto completoMashkov, Viktor, Volodymyr Lytvynenko y Irina Lurie. "Modeling and Simulating Mutual Testing in Complex Systems by Using Petri Nets". International Journal of Image, Graphics and Signal Processing 15, n.º 6 (8 de diciembre de 2023): 81–93. http://dx.doi.org/10.5815/ijigsp.2023.06.07.
Texto completoTAKAI, S. y Y. BAI. "Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, n.º 11 (1 de noviembre de 2006): 3250–53. http://dx.doi.org/10.1093/ietfec/e89-a.11.3250.
Texto completoHIRAISHI, K. "Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A, n.º 11 (1 de noviembre de 2008): 3219–28. http://dx.doi.org/10.1093/ietfec/e91-a.11.3219.
Texto completoVizovitin, N. V., V. A. Nepomniaschy y A. A. Stenenko. "Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation". Automatic Control and Computer Sciences 51, n.º 7 (diciembre de 2017): 489–97. http://dx.doi.org/10.3103/s0146411617070227.
Texto completoOCHIIWA, Satoru, Satoshi TAOKA, Masahiro YAMAUCHI y Toshimasa WATANABE. "Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, n.º 11 (2009): 2732–44. http://dx.doi.org/10.1587/transfun.e92.a.2732.
Texto completoOCHIIWA, Satoru, Satoshi TAOKA, Masahiro YAMAUCHI y Toshimasa WATANABE. "Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96.A, n.º 2 (2013): 540–53. http://dx.doi.org/10.1587/transfun.e96.a.540.
Texto completoMokdad, Lynda, Mbaye Sene y Azzedine Boukerche. "Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets". IEEE Transactions on Parallel and Distributed Systems 22, n.º 8 (agosto de 2011): 1332–41. http://dx.doi.org/10.1109/tpds.2010.90.
Texto completoMagott, Jan. "Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets". Information Processing Letters 21, n.º 5 (noviembre de 1985): 229–32. http://dx.doi.org/10.1016/0020-0190(85)90089-4.
Texto completoHadjicostis, Christoforos N. y George C. Verghese. "Fault-tolerant computation in groups and semigroups: applications to automata, dynamic systems and Petri nets". Journal of the Franklin Institute 339, n.º 4-5 (julio de 2002): 387–430. http://dx.doi.org/10.1016/s0016-0032(02)00025-x.
Texto completoM’halla, Anis, Dimitri Lefebvre y Mouhaned Gaied. "Distributed Monitoring Based on P-Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network". Journal of Electrical and Computer Engineering 2020 (25 de agosto de 2020): 1–12. http://dx.doi.org/10.1155/2020/6265379.
Texto completoTAOKA, S. y T. WATANABE. "Time Complexity Analysis of the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, n.º 11 (1 de noviembre de 2006): 3216–26. http://dx.doi.org/10.1093/ietfec/e89-a.11.3216.
Texto completoDarondeau, Ph. "Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets". Information Processing Letters 94, n.º 6 (junio de 2005): 241–45. http://dx.doi.org/10.1016/j.ipl.2005.03.002.
Texto completoChernenok, S. A. y V. A. Nepomniaschy. "Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets". Automatic Control and Computer Sciences 49, n.º 7 (diciembre de 2015): 484–92. http://dx.doi.org/10.3103/s0146411615070056.
Texto completoGuo, Qi, Wangyang Yu, Fei Hao, Yuke Zhou y Yuan Liu. "Modelling and Analysis of Adaptive Cruise Control System Based on Synchronization Theory of Petri Nets". Electronics 11, n.º 21 (7 de noviembre de 2022): 3632. http://dx.doi.org/10.3390/electronics11213632.
Texto completoZhang, Liumei, Wei Zhang, Yichuan Wang, Bowen Xia y Yu Han. "Fine-Grained Modeling of ROP Vulnerability Exploitation Process under Stack Overflow Based on Petri Nets". Electronics 12, n.º 23 (22 de noviembre de 2023): 4741. http://dx.doi.org/10.3390/electronics12234741.
Texto completoBlume, H., T. von Sydow y T. G. Noll. "A Case Study for the Application of Deterministic and Stochastic Petri Nets in the SoC Communication Domain". Journal of VLSI signal processing systems for signal, image and video technology 43, n.º 2-3 (junio de 2006): 223–33. http://dx.doi.org/10.1007/s11265-006-7272-4.
Texto completoMURAYA, A. "All Fundamental Particular Solutions are Needed to Express an Arbitrary Firing Count Vector in Petri Nets". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A, n.º 1 (1 de enero de 2005): 399–404. http://dx.doi.org/10.1093/ietfec/e88-a.1.399.
Texto completoBrito, Carlos, Leonardo Silva, Gustavo Callou, Tuan Anh Nguyen, Dugki Min, Jae-Woo Lee y Francisco Airton Silva. "Offloading Data through Unmanned Aerial Vehicles: A Dependability Evaluation". Electronics 10, n.º 16 (10 de agosto de 2021): 1916. http://dx.doi.org/10.3390/electronics10161916.
Texto completoHe, Yaqiong, Hanjie Dong, Huaiguang Wu y Qianheng Duan. "Formal Analysis of Reentrancy Vulnerabilities in Smart Contract Based on CPN". Electronics 12, n.º 10 (9 de mayo de 2023): 2152. http://dx.doi.org/10.3390/electronics12102152.
Texto completoMao, Zijian, Qiang Han, Yu He, Nan Li, Cong Li, Zhihui Shan y Sheng Han. "A Software Testing Workflow Analysis Tool Based on the ADCV Method". Electronics 12, n.º 21 (30 de octubre de 2023): 4464. http://dx.doi.org/10.3390/electronics12214464.
Texto completoPecoraro, Fabrizio, Fabrizio L. Ricci, Fabrizio Consorti, Daniela Luzi y Oscar Tamburis. "The Friendly Health Issue Network to Support Computer-Assisted Education for Clinical Reasoning in Multimorbidity Patients". Electronics 10, n.º 17 (27 de agosto de 2021): 2075. http://dx.doi.org/10.3390/electronics10172075.
Texto completoLiu, Ye-Jia y Xun-Bo Li. "Boundedness and liveness enforcement for labeled Petri nets using transition priority". Journal of Electronic Science and Technology, noviembre de 2023, 100227. http://dx.doi.org/10.1016/j.jnlest.2023.100227.
Texto completoKučera, Erik, Oto Haffner y Roman Leskovský. "Modelling and Control of Discrete-Event Systems Using Petri Nets and Arduino Microcontrollers". Journal of Automation, Mobile Robotics and Intelligent Systems, 18 de julio de 2019, 20–27. http://dx.doi.org/10.14313/jamris/3-2020/29.
Texto completoČapkovič, František. "Modelling and Control of Flexible Manufacturing Systems by Means of Interpreted Petri Nets". Journal of Automation, Mobile Robotics & Intelligent Systems 12, n.º 4 (27 de mayo de 2019). http://dx.doi.org/10.14313/jamris_4-2018/21.
Texto completoFUJITA, Kohei y Toshimitsu USHIO. "Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2021. http://dx.doi.org/10.1587/transfun.2021map0003.
Texto completoYang, Cheng-Ying, Yi-Nan Lin, Victor R. L. Shen, Frank H. C. Shen y Chien-Chi Wang. "A Novel IoT-Enabled System for Real Time Face Mask Recognition Based on Petri Nets". IEEE Internet of Things Journal, 2023, 1. http://dx.doi.org/10.1109/jiot.2023.3313583.
Texto completo