| Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models. | 0 | 0.34 | 2021 |
| Path planning for robotic teams based on LTL specifications and Petri net models | 3 | 0.39 | 2020 |
| Distributed Path Planning Of Mobile Robots With Ltl Specifications | 0 | 0.34 | 2020 |
| Toward a decision support system for the clinical pathways assessment. | 0 | 0.34 | 2019 |
| Performance Evaluation of the Dyna-Q algorithm for Robot Navigation | 0 | 0.34 | 2018 |
| Robot Planning Based on Boolean Specifications Using Petri Net Models. | 4 | 0.42 | 2018 |
| Towards efficient algorithms for planning surgeries in operation rooms | 0 | 0.34 | 2017 |
| Decentralized observability of discrete event systems with synchronizations. | 1 | 0.35 | 2017 |
| On Liveness Enforcement Of Dssp Net Systems | 0 | 0.34 | 2016 |
| Accomplish multi-robot tasks via Petri net models | 0 | 0.34 | 2015 |
| Diagnosis of Time Petri Nets Using Fault Diagnosis Graph | 4 | 0.46 | 2015 |
| A Matlab-based interactive simulator for mobile robotics | 2 | 0.41 | 2015 |
| LTL-Based Planning in Environments With Probabilistic Observations | 1 | 0.37 | 2015 |
| Deadlock prevention policy for S3PR — Application to robot planning | 0 | 0.34 | 2014 |
| A Petri net based approach for multi-robot path planning | 8 | 0.54 | 2014 |
| A model-based approach for the specification and verification of clinical guidelines | 0 | 0.34 | 2014 |
| Planning mobile robots with Boolean-based specifications | 3 | 0.40 | 2014 |
| A Control Method For Distributed Continuous Mono-T-Semiflow Petri Nets | 1 | 0.37 | 2014 |
| Model Checking on Fault Diagnosis Graph. | 2 | 0.37 | 2014 |
| Petri net approach for deadlock prevention in robot planning. | 5 | 0.43 | 2013 |
| Distributed Model Predictive Control of timed continuous Petri nets | 3 | 0.41 | 2013 |
| Decentralized diagnosis based on fault diagnosis graph | 2 | 0.38 | 2013 |
| Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets | 7 | 0.46 | 2012 |
| LTL planning in dynamic environments. | 1 | 0.35 | 2012 |
| Control of continuous Petri nets using ON/OFF based method. | 1 | 0.37 | 2012 |
| On decentralized observability of discrete event systems | 1 | 0.36 | 2011 |
| On fluidization of discrete event models: observation and control of continuous Petri nets | 24 | 1.16 | 2011 |
| Analysis and simulation of manufacturing systems using SimHPN toolbox | 1 | 0.36 | 2011 |
| An Automated Framework for Formal Verification of Timed Continuous Petri Nets | 20 | 1.15 | 2010 |
| An iterative control method for distributed continuous Petri nets | 0 | 0.34 | 2010 |
| SimHPN: A MATLAB toolbox for continuous Petri nets. | 2 | 0.43 | 2010 |
| On the Importance of the Deadlock Trap Property for Monotonic Liveness. | 6 | 0.54 | 2010 |
| Constrained invariant motions for networked multi-agent systems | 5 | 0.49 | 2009 |
| Observer design for untimed continuous Petri nets | 4 | 0.43 | 2009 |
| New results for fault detection of untimed continuous Petri nets | 2 | 0.37 | 2009 |
| Fault Diagnoser Design For Untimed Continuous Petri Nets | 1 | 0.35 | 2009 |
| Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets | 17 | 1.03 | 2009 |
| Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems | 15 | 1.08 | 2008 |
| Optimal model predictive control of Timed Continuous Petri nets | 8 | 0.63 | 2008 |
| A State Estimation Problem for Timed Continuous Petri Nets | 2 | 0.38 | 2007 |
| State Estimation Of Petri Nets By Transformation | 0 | 0.34 | 2007 |
| ON SAMPLING CONTINUOUS TIMED PETRI NETS: REACHABILITY "EQUIVALENCE" UNDER INFINITE SERVERS SEMANTICS | 5 | 0.54 | 2006 |
