المؤلفون: Barros, João Paulo, Gomes, Luís

المساهمون: UNINOVA-Instituto de Desenvolvimento de Novas Tecnologias, CTS - Centro de Tecnologia e Sistemas, RUN

مصطلحات موضوعية: Board games, Education, Formal methods, Modeling, Petri nets, Reachability graph, Computer Science(all)

وصف الملف: application/pdf

Relation: 1613-0073; PURE: 100283476

الاتاحة: http://hdl.handle.net/10362/172664

المؤلفون: Ching-Yun Tseng, Ju-Chin Chen, Yen-Liang Pan

المصدر: IEEE Access, Vol 12, Pp 65202-65212 (2024)

مصطلحات موضوعية: Petri net, flexible manufacturing systems, reachability graph analysis, control transition, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10520284/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/97b9e673fa13476cb3183089d6a2a257

المؤلفون: Bhai Nhuraisha I. Deplomo, Jocelyn F. Villaverde, Arnold C. Paglinawan

المصدر: Sensors, Vol 24, Iss 13, p 4095 (2024)

مصطلحات موضوعية: Petri nets, reachability graph, railway, modeling and simulation, GreatSPN, Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1424-8220/24/13/4095; https://doaj.org/toc/1424-8220

URL الوصول: https://doaj.org/article/e202088663fb4827a113eaf7d765f63e

المؤلفون: Zaitsev, D., Zhang, Z., Liu, D., Shmeleva, T. R.

مصطلحات موضوعية: Mass parallel algorithm, Petri net, reachability graph

وصف الملف: application/pdf

Relation: https://repository.derby.ac.uk/item/qv26w/notation-for-mass-parallel-algorithms-computing-petri-net-state-space-on-gpu-case-study; https://repository.derby.ac.uk/download/c0fa653c422f82e35e69cfd05725ba0bd174e2f5a0d5a5dc29215e59174c757d/2614793/Notation%20for%20mass%20parallel%20algorithms%20%20computing%20Petri%20net%20state%20space%20on%20GPU%20case%20study.pdf; https://doi.org/10.1080/17445760.2024.2431545

الاتاحة: https://doi.org/10.1080/17445760.2024.2431545
https://repository.derby.ac.uk/download/c0fa653c422f82e35e69cfd05725ba0bd174e2f5a0d5a5dc29215e59174c757d/2614793/Notation%20for%20mass%20parallel%20algorithms%20%20computing%20Petri%20net%20state%20space%20on%20GPU%20case%20study.pdf

المؤلفون: Statkevych, Vitalii

المصدر: System research and information technologies; No. 1 (2024); 122-133 ; Системные исследования и информационные технологии; № 1 (2024); 122-133 ; Системні дослідження та інформаційні технології; № 1 (2024); 122-133 ; 2308-8893 ; 1681-6048

مصطلحات موضوعية: мережа Петрі, сильна антиcипація, правило запуску переходу, граф досяжності, цілочислова функція, функція наступного стану, послідовність запусків переходів, гранична досяжність, Petri net, strong anticipation, transition rule, reachability graph, real-valued function, next-state function, sequence of transition firings, limit reachability

وصف الملف: application/pdf

Relation: http://journal.iasa.kpi.ua/article/view/304607/296434; http://journal.iasa.kpi.ua/article/view/304607

الاتاحة: http://journal.iasa.kpi.ua/article/view/304607
https://doi.org/10.20535/SRIT.2308-8893.2024.1.09

المؤلفون: Shiqi Li, Sian Zhou, Li Yin, Rongtian Jiang

المصدر: IEEE Access, Vol 11, Pp 9751-9762 (2023)

مصطلحات موضوعية: Discrete event system, diagnosability, basis reachability graph, robust diagnosability, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10017281/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/1509be297e1f4e57b56b129343772f20

المؤلفون: Yuriy Anatol’yevich Belov

المصدر: Моделирование и анализ информационных систем, Vol 29, Iss 4, Pp 366-371 (2022)

مصطلحات موضوعية: petri nets, network reachability graph, network coverage graph, graph isomorphism, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1752; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/a5fb46eb0a7e4a5a85bc99ea77633a20

المؤلفون: ZHAN Wan-li, HU Jun, GU Qing-fan, RONG Hao, QI Jian, DONG Yan-hong

المصدر: Jisuanji kexue, Vol 48, Iss 12, Pp 159-169 (2021)

مصطلحات موضوعية: fta, altarica, flattened gts, division algorithm, reachability graph, assertion propagation algorithm, Computer software, QA76.75-76.765, Technology (General), T1-995

وصف الملف: electronic resource

Relation: https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2021-12-159.pdf; https://doaj.org/toc/1002-137X

URL الوصول: https://doaj.org/article/4171617ba48549948dc58cd0fc9bfe9c

المؤلفون: Statkevych, Vitalii

المصدر: Системні дослідження та інформаційні технології; № 1 (2023); 102-112 ; Системные исследования и информационные технологии; № 1 (2023); 102-112 ; System research and information technologies; No. 1 (2023); 102-112 ; 2308-8893 ; 1681-6048

مصطلحات موضوعية: Petri net, anticipation, transition rule, reachability graph, coverability tree, мережа Петрі, антиcипація, умова запуску переходу, граф досяжності, дерево покриття

وصف الملف: application/pdf

Relation: http://journal.iasa.kpi.ua/article/view/279774/274365; http://journal.iasa.kpi.ua/article/view/279774

الاتاحة: http://journal.iasa.kpi.ua/article/view/279774
https://doi.org/10.20535/SRIT.2308-8893.2023.1.08

المؤلفون: Gökhan GELEN, Murat UZAM

المصدر: ISSN: 1304-7205 ; https://eds.yildiz.edu.tr/ajaxtool/GetArticleByPublishedArticleId?PublishedArticleId=6774 ; Sigma Journal of Engineering and Natural Sciences, Year:2023, Vol:41, Issue:3.

مصطلحات موضوعية: Discrete Event Systems, Petri Nets, Deadlock Prevention, Reachability Graph, Strongly Connected Components

وصف الملف: application/pdf

Relation: https://eds.yildiz.edu.tr/ajaxtool/GetArticleByPublishedArticleId?PublishedArticleId=6774

الاتاحة: https://eds.yildiz.edu.tr/ajaxtool/GetArticleByPublishedArticleId?PublishedArticleId=6774

المؤلفون: Gu, C, Ma, ZY, Li, ZW, Giua, A

المساهمون: Gu, C, Ma, Zy, Li, Zw, Giua, A

مصطلحات موضوعية: Petri net, System recovery, Automata, Analytical model, Supervisory control, Computational modeling, Explosion, Basis reachability graph (BRG), Nonblockingne

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000742676800001; volume:52; issue:10; firstpage:6162; lastpage:6173; numberofpages:12; journal:IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS; https://hdl.handle.net/11584/345192; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123342981

الاتاحة: https://hdl.handle.net/11584/345192
https://doi.org/10.1109/TSMC.2021.3138266

المؤلفون: Ya Wang, Li Yin, Guanghui Zhu

المصدر: IEEE Access, Vol 8, Pp 162363-162372 (2020)

مصطلحات موضوعية: Petri net, reachability graph, topological sort, discrete event system, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9186117/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/1981af087c5742e6a1590bc47d426750

المؤلفون: Jiazhong Zhou, Jiliang Luo, Dimitri Lefebvre, Zhiwu Li

المصدر: IEEE Access, Vol 8, Pp 163458-163471 (2020)

مصطلحات موضوعية: Petri net, modeling, optimal schedule, timed extended reachability graph, batch production, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9184032/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/05ddca635bc5493d8c9766f4ca4c50a2

المؤلفون: Zverovich, Vadim, author

المصدر: Modern Applications of Graph Theory, 2021, ill.

الاتاحة: https://doi.org/10.1093/oso/9780198856740.003.0005

المؤلفون: 潘彥良

المساهمون: 航空機械系

مصطلحات موضوعية: Petri net, flexible manufacturing systems, reachability graph analysis, control transition

وصف الملف: 1802921 bytes; application/pdf

Relation: IEEE Access, vol. 12, pp. 65202-65212, 2024, doi:10.1109/ACCESS.2024.3396879; http://ir.lib.cyut.edu.tw:8080/handle/310901800/43154; http://ir.lib.cyut.edu.tw:8080/bitstream/310901800/43154/2/An_Improved_Deadlock_Recovery_Policy_of_Flexible_Manufacturing_Systems_Based_on_Resource_Flow_Graphs.pdf

الاتاحة: http://ir.lib.cyut.edu.tw:8080/handle/310901800/43154
http://ir.lib.cyut.edu.tw:8080/bitstream/310901800/43154/2/An_Improved_Deadlock_Recovery_Policy_of_Flexible_Manufacturing_Systems_Based_on_Resource_Flow_Graphs.pdf

المؤلفون: Cabanillas Macías, Cristina, Resinas Arias de Reyna, Manuel, Ruiz Cortés, Antonio, Awad, Ahmed

المساهمون: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Comisión Interministerial de Ciencia y Tecnología (CICYT). España, Junta de Andalucía

مصطلحات موضوعية: Business Process, Data management, Object life cycle, Data anomalies, Petri net, Reachability graph

Relation: CAiSE 2011: 23rd International Conference on Advanced Information Systems Engineering (2011), p 352-366; TIN2009-07366 (SETI); TIC-5906 (THEOS); P07-TIC-2533; https://link.springer.com/chapter/10.1007/978-3-642-21640-4_27; Berlin; https://idus.us.es/handle//11441/102627

الاتاحة: https://idus.us.es/handle//11441/102627

المؤلفون: Lagartinho-Oliveira, Carolina, Moutinho, Filipe, Gomes, Luís

المساهمون: Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Center of Technology and Systems (UNINOVA-CTS), Luis M. Camarinha-Matos, Nastaran Farhadi, Fábio Lopes, Helena Pereira, TC 5, WG 5.5

المصدر: IFIP Advances in Information and Communication Technology ; 11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) ; https://inria.hal.science/hal-03741552 ; 11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.93-100, ⟨10.1007/978-3-030-45124-0_8⟩

مصطلحات موضوعية: Co-processing, CUDA, GPU, IOPT nets, Reachability graph, [INFO]Computer Science [cs]

جغرافية الموضوع: Costa de Caparica, Portugal

Relation: hal-03741552; https://inria.hal.science/hal-03741552; https://inria.hal.science/hal-03741552/document; https://inria.hal.science/hal-03741552/file/496588_1_En_8_Chapter.pdf

الاتاحة: https://inria.hal.science/hal-03741552
https://inria.hal.science/hal-03741552/document
https://inria.hal.science/hal-03741552/file/496588_1_En_8_Chapter.pdf
https://doi.org/10.1007/978-3-030-45124-0_8

المؤلفون: Dongming Xiang, Xiaoyan Tao, Yaping Liu

المصدر: Symmetry; Volume 13; Issue 3; Pages: 392

مصطلحات موضوعية: Petri net, concurrent systems, unfolding, reachability graph

وصف الملف: application/pdf

Relation: Computer and Engineering Science and Symmetry/Asymmetry; https://dx.doi.org/10.3390/sym13030392

الاتاحة: https://doi.org/10.3390/sym13030392

المؤلفون: Hao Yue, Shulin Xu, Guangrui Zhou, Hesuan Hu, Yiyun Guo, Jihui Zhang

المصدر: IEEE Access, Vol 7, Pp 165387-165398 (2019)

مصطلحات موضوعية: Basis reachability graph (BRG), discrete event system (DES), Petri net (PN), transition firing sequence, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8892540/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/badf7a5445674dd3aa84203e446853fa

المؤلفون: Pastor Ramírez, Javier

المساهمون: Gómez Martínez, María Elena, Requeno Jarabo, José Ignacio

مصطلحات موضوعية: 004(043.3), Redes de Petri, Grafo de Alcanzabilidad, Propiedades Dinámicas, Líneas de Producto, Petri Nets, Reachability Graph, Dynamic Properties, Product Lines, Informática (Informática), 33 Ciencias Tecnológicas

وصف الملف: application/pdf

Relation: https://hdl.handle.net/20.500.14352/106059; XXXX-XXXX

الاتاحة: https://hdl.handle.net/20.500.14352/106059