| Publication | Date of Publication | Type |
|---|
On multirobot path planning based on Petri net models and LTL specifications
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
On Liveness Enforcement of Distributed Petri Net Systems
IEEE Transactions on Automatic Control | 2023-10-02 | Paper |
| scientific article; zbMATH DE number 7398472 (Why is no real title available?) | 2021-09-21 | Paper |
Path planning for robotic teams based on LTL specifications and Petri net models
Discrete Event Dynamic Systems | 2020-05-06 | Paper |
Toward a decision support system for the clinical pathways assessment
Discrete Event Dynamic Systems | 2019-10-18 | Paper |
Robot Planning Based on Boolean Specifications Using Petri Net Models
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
Decentralized observability of discrete event systems with synchronizations
Automatica | 2017-11-22 | Paper |
Optimal Model Predictive Control of Timed Continuous Petri Nets
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
A control method for distributed continuous mono-T-semiflow Petri nets
International Journal of Control | 2015-07-28 | Paper |
Continuous Petri nets: observability and diagnosis
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Continuous Petri Nets: Controllability and Control
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Introduction to fluid Petri nets
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
A Petri net based approach for multi-robot path planning
Discrete Event Dynamic Systems | 2014-12-12 | Paper |
Event-driven model predictive control of timed hybrid Petri nets
International Journal of Robust and Nonlinear Control | 2014-10-20 | Paper |
ON/OFF strategy based minimum-time control of continuous Petri nets
Nonlinear Analysis. Hybrid Systems | 2014-07-25 | Paper |
Minimum-time decentralized control of choice-free continuous Petri nets
Nonlinear Analysis. Hybrid Systems | 2013-08-27 | Paper |
SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets
Nonlinear Analysis. Hybrid Systems | 2012-05-11 | Paper |
On fluidization of discrete event models: Observation and control of continuous Petri nets
Discrete Event Dynamic Systems | 2012-03-09 | Paper |
| scientific article; zbMATH DE number 5957763 (Why is no real title available?) | 2011-10-12 | Paper |
Approaching minimum time control of timed continuous Petri nets
Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
| Manufacturing systems analysis and design. Qualitative versus quantitative techniques in a Petri net setting | 2010-09-08 | Paper |
Observability of continuous Petri nets with infinite server semantics
Nonlinear Analysis. Hybrid Systems | 2010-08-19 | Paper |
Basic server semantics and performance monotonicity of continuous Petri nets
Discrete Event Dynamic Systems | 2009-09-01 | Paper |
| scientific article; zbMATH DE number 5150815 (Why is no real title available?) | 2007-05-09 | Paper |
| scientific article; zbMATH DE number 2065540 (Why is no real title available?) | 2004-05-18 | Paper |
