share record
persistent URL:
B. Daviaud , Sébastien Lahaye , Mehdi Lhommeau , Jan Komenda : Representation of Time Petri Nets using Interval Weighted Automata. CoDIT 2023 : 99-104 share record
persistent URL:
Clément Lecomte , Patrice Bonhomme : Energy Aware Strategy for Discrete Event Systems using Inhibitor P-Time Petri Nets and Deep Reinforcement Learning. CoDIT 2023 : 1027-1032 share record
persistent URL:
César Arzola , Cristian Mahulea , Jorge Júlvez : Analysis and optimization of clinical pathways using timed continuous Petri nets. ETFA 2023 : 1-8 share record
persistent URL:
Louis Bal dit Sollier , Alain Ourghanlian , Saïd Amari : Delays Evaluation of Networked Control System Switches using Timed Coloured Petri Nets and Formal Series. ETFA 2023 : 1-8 share record
persistent URL:
Sofia Hustiu , Dimos V. Dimarogonas , Cristian Mahulea , Marius Kloetzer : Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets. ECC 2023 : 1-8 export record
dblp key:
conf/europar/WojnakowskiWP23 share record
persistent URL:
Marcin Wojnakowski , Remigiusz Wisniewski , Mateusz Poplawski : A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. Euro-Par Workshops 2023 : 277-283 share record
persistent URL:
TaiRan Song , Yan Qiao , NaiQi Wu , YunFang He , SiWei Zhang : Implementation of Novel Scheduling Methods for Dual-arm Cluster Tools with Multiple-time Reentrant flows based on Petri Nets. ICNSC 2023 : 1-6 share record
persistent URL:
Jiazhong Zhou , Jiliang Luo , Sijia Yi : Timed State Graphs for Scheduling a Class of Place-Timed Petri Nets. ICNSC 2023 : 1-6 share record
persistent URL:
Franco Cicirelli , Libero Nigro : Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking. ICT-DM 2023 : 1-6 share record
persistent URL:
Jan-Phillip Herrmann , Alexander Atanasyan , Felix Casser , Sven Tackenberg : A Petri Net Architecture for Real-Time Human Activity Recognition in Work Systems. ISM 2023 : 1188-1199 share record
persistent URL:
Trandafir-Liviu Serghei , Petrisor Valentin Pârvu , Madalina-Oana Serghei , Dan Popescu , Loretta Ichim : Deep Convolutional Neural Networks for Real-Time Human Detection and Tracking on UAVs Embedded Systems. MED 2023 : 311-316 share record
persistent URL:
Cris Niño N. Sulla , Jasmine A. Malinao : Mapping of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Soundness. NiDS (2) 2023 : 338-353 export record
dblp key:
journals/corr/abs-2303-08929 share record
persistent URL:
Jaime Arias , Kyungmin Bae , Carlos Olarte , Peter Csaba Ölveczky , Laure Petrucci , Fredrik Rømming : Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR abs/2303.08929 (2023 )2022 share record
persistent URL:
Rémi Parrot : Réseaux de Petri temporisés pour la synthèse de circuits pipelinés. (Timed Petri nets for the synthesis of pipelined circuits). École centrale de Nantes, France, 2022 export record
dblp key:
journals/access/Chariyathitipong22 share record
persistent URL:
P. Chariyathitipong , Wiwat Vatanawood : Dynamic Slicing of Time Petri Net Based on MTL Property. IEEE Access 10 : 45207-45218 (2022 )export record
dblp key:
journals/access/DechsupaVT22 share record
persistent URL:
Chanon Dechsupa , Wiwat Vatanawood , Arthit Thongtak : Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net. IEEE Access 10 : 42983-43002 (2022 )export record
dblp key:
journals/access/FujitaU22 share record
persistent URL:
Kohei Fujita , Toshimitsu Ushio : Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints. IEEE Access 10 : 110849-110861 (2022 )export record
dblp key:
journals/automatica/BouchenebBXWLL22 share record
persistent URL:
Hanifa Boucheneb , Kamel Barkaoui , Qian Xing , Kuangze Wang , GaiYun Liu , ZhiWu Li : Time based deadlock prevention for Petri nets. Autom. 137 : 110119 (2022 )export record
dblp key:
journals/cai/ElidrissiNT22 share record
persistent URL:
Hajar Lamghari Elidrissi , Ahmed Nait-Sidi-Moh , Abdelouahed Tajer : Modular Design and Adaptive Control of Urban Signalized Intersections Systems Using Synchronized Timed Petri Nets. Comput. Informatics 41 (2 ) : 590-608 (2022 )export record
dblp key:
journals/deds/Godary-DejeanLA22 share record
persistent URL:
Karen Godary-Dejean , Hélène Leroux , David Andreu : Interpreted synchronous extension of time Petri nets. Discret. Event Dyn. Syst. 32 (1 ) : 27-64 (2022 )export record
dblp key:
journals/ieiceta/FujitaU22 share record
persistent URL:
Kohei Fujita , Toshimitsu Ushio : Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A (5 ) : 808-815 (2022 )share record
persistent URL:
Jie Su , Jun Li : Scenic Tourist Intelligent Shunt Based on Timed Petri Nets. Int. J. e Collab. 18 (1 ) : 1-18 (2022 )export record
dblp key:
journals/remotesensing/Yli-HeikkilaWLP22 share record
persistent URL:
Maria Yli-Heikkilä , Samantha Wittke , Markku Luotamo , Eetu Puttonen , Mika Sulkava , Petri Pellikka , Janne Heiskanen , Arto Klami : Scalable Crop Yield Prediction with Sentinel-2 Time Series and Temporal Convolutional Network. Remote. Sens. 14 (17 ) : 4193 (2022 )share record
persistent URL:
Jianfeng Zhou , Genserik Reniers : Petri-net based cooperation modeling and time analysis of emergency response in the context of domino effect prevention in process industries. Reliab. Eng. Syst. Saf. 223 : 108505 (2022 )share record
persistent URL:
Ruimin Cao , Hui Yang , Jianjiang Cui , Lina Hao , Lihui Wang : Situation Representation and Strategic Reasoning Method of Hybrid Game System Based on Modified Hybrid Stochastic Timed Petri Net. IEEE Syst. J. 16 (4 ) : 6086-6096 (2022 )export record
dblp key:
journals/smr/ShaileshNP22 share record
persistent URL:
Tanuja Shailesh , Ashalatha Nayak , Devi Prasad : Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach. J. Softw. Evol. Process. 34 (1 ) (2022 )share record
persistent URL:
Jiazhong Zhou , Dimitri Lefebvre , Zhi-Wu Li : A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets. IEEE Trans. Autom. Control. 67 (7 ) : 3693-3698 (2022 )share record
persistent URL:
Bo Huang , MengChu Zhou , Abdullah Abusorrah , Khaled Sedraoui : Scheduling Robotic Cellular Manufacturing Systems With Timed Petri Net, A* Search, and Admissible Heuristic Function. IEEE Trans Autom. Sci. Eng. 19 (1 ) : 243-250 (2022 )share record
persistent URL:
Yannick Pencolé , Audine Subias : Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach. IEEE Trans Autom. Sci. Eng. 19 (2 ) : 1151-1162 (2022 )share record
persistent URL:
M. I. Mary Metilda , D. Lalitha , S. Vaithyasubramanian : Password generation using array generating interval timed colored Petri net (AGITCPN) for effective security. Theor. Comput. Sci. 929 : 114-123 (2022 )