المؤلفون: Declerck, Philippe, Bonhomme, Patrice

المساهمون: Laboratoire Angevin de Recherche en Ingénierie des Systèmes (LARIS), Université d'Angers (UA), Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT), Université de Tours (UT)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0020-7179.

مصطلحات موضوعية: P-timed Petri nets P-time Petri nets Partially Observable Estimation Sliding Horizon, P-timed Petri nets, P-time Petri nets, Partially Observable, Estimation, Sliding Horizon, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering

العلاقة: hal-03871908; https://hal.science/hal-03871908Test; https://hal.science/hal-03871908/documentTest; https://hal.science/hal-03871908/file/estimation-two-stages-ijc-22.pdfTest

الإتاحة: https://doi.org/10.1080/00207179.2023.2204977Test
https://hal.science/hal-03871908Test
https://hal.science/hal-03871908/documentTest
https://hal.science/hal-03871908/file/estimation-two-stages-ijc-22.pdfTest

المؤلفون: Ciobanu, Radu

المساهمون: Mayr, Richard, Etessami, Kousha

مصطلحات موضوعية: 511, formal verification, Petri nets, Timed Petri nets, VASS-MDPs, concurrent computations, One-counter Markov Decision Processes, OC-MDPs

الوصول الحر: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783649Test

المؤلفون: Zhang M., Alfieri A., Matta A.

المساهمون: Zhang, M., Alfieri, A., Matta, A.

مصطلحات موضوعية: Discrete event simulation, Discrete event systems, Mathematical programming, Timed Petri Nets

العلاقة: volume:NA; firstpage:1; lastpage:19; numberofpages:19; journal:DISCRETE EVENT DYNAMIC SYSTEMS; https://hdl.handle.net/11311/1257439Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85178892372

الإتاحة: https://doi.org/10.1007/s10626-023-00387-7Test
https://hdl.handle.net/11311/1257439Test

المؤلفون: Komenda, Jan, Lefebvre, Dimitri

المساهمون: Institute of Mathematics of the Czech Academy of Science (IM / CAS), Czech Academy of Sciences Prague (CAS), Groupe de Recherche en Electrotechnique et Automatique du Havre (GREAH), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)

المصدر: ISSN: 2405-8963 ; IFAC-PapersOnLine ; https://hal.science/hal-04469030Test ; IFAC-PapersOnLine, 2023, 56 (2), pp.8635-8640. ⟨10.1016/j.ifacol.2023.10.039⟩ ; https://www.sciencedirect.com/science/article/pii/S2405896323003798Test.

مصطلحات موضوعية: Timed discrete event systems, Distributed discrete event systems, Tick automata, Synchronous composition, Timed Petri nets, [SPI.AUTO]Engineering Sciences [physics]/Automatic

العلاقة: hal-04469030; https://hal.science/hal-04469030Test; https://hal.science/hal-04469030/documentTest; https://hal.science/hal-04469030/file/1-s2.0-S2405896323003798-main.pdfTest

الإتاحة: https://doi.org/10.1016/j.ifacol.2023.10.039Test
https://hal.science/hal-04469030Test
https://hal.science/hal-04469030/documentTest
https://hal.science/hal-04469030/file/1-s2.0-S2405896323003798-main.pdfTest

المؤلفون: Kohei Fujita, Toshimitsu Ushio

المصدر: IEEE Access, Vol 10, Pp 110849-110861 (2022)

مصطلحات موضوعية: Petri nets, coloured timed Petri nets, temporal logic, generalized mutual exclusion constraints, integer linear programming, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9925234Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/ece434b0298e4f32bc9f181310bb7f86Test

المؤلفون: Jose A. Guzman, Felipe Nunez

المصدر: IEEE Access, Vol 9, Pp 99617-99632 (2021)

مصطلحات موضوعية: Intelligent transportation systems, cyber-physical systems, timed Petri nets, urban traffic control, intersection management, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9480804Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/e0c1a8bebf5b4beb861d002162e622a7Test

المؤلفون: Declerck, Philippe, Bonhomme, P.

المساهمون: Laboratoire Angevin de Recherche en Ingénierie des Systèmes (LARIS), Université d'Angers (UA)

المصدر: ISSN: 0020-7179.

مصطلحات موضوعية: P-timed Petri nets, P-time Petri nets, Partially Observable, Estimation, Sliding Horizon, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering

العلاقة: hal-03851199; https://hal.univ-angers.fr/hal-03851199Test; https://hal.univ-angers.fr/hal-03851199/documentTest; https://hal.univ-angers.fr/hal-03851199/file/estimation-two-stages-ijc-22.pdfTest

الإتاحة: https://hal.univ-angers.fr/hal-03851199Test
https://hal.univ-angers.fr/hal-03851199/documentTest
https://hal.univ-angers.fr/hal-03851199/file/estimation-two-stages-ijc-22.pdfTest

المؤلفون: Kohei FUJITA, Toshimitsu USHIO

المصدر: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2022, E105.A(5):808

المؤلفون: Lingling Li, Congbo Li, Li Li, Ying Tang, Qingshan Yang

المصدر: Mathematical Biosciences and Engineering, Vol 16, Iss 4, Pp 2063-2085 (2019)

مصطلحات موضوعية: remanufacturing, job shop, scheduling, colored timed petri nets, simulated annealing, Biotechnology, TP248.13-248.65, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1551-0018Test

الوصول الحر: https://doaj.org/article/53f37db724d3419facfcbf45ebf78ce1Test

المؤلفون: Adriano C. Lisboa, Flevio H. B. De Souza, Cesar M. Ribeiro, Carlos A. Maia, Rodney R. Saldanha, Felipe L. B. Castro, Douglas A. G. Vieira

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

مصطلحات موضوعية: Design techniques, open pit mines, stochastic experiments, stochastic timed petri nets, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/8794505Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/0d12af900b114d04ac933b0ada7118d0Test