| Publication | Date of Publication | Type |
|---|
| Value approximator-based learning model predictive control for iterative tasks | 2025-01-21 | Paper |
| Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems | 2024-12-16 | Paper |
| Synergy-incorporated Bayesian Petri net: a method for mining ``and/or relation and synergy effect with application in probabilistic reasoning | 2024-08-30 | Paper |
| Deadlock and blockage control of automated manufacturing systems with an unreliable resource | 2024-06-27 | Paper |
| Toward explicit control between exploration and exploitation in evolutionary algorithms: a case study of differential evolution | 2023-10-19 | Paper |
| A Weighted Fidelity and Regularization-Based Method for Mixed or Unknown Noise Removal From Images on Graphs | 2022-09-16 | Paper |
| Stochastic stability of Markovian jump linear systems over networks with random quantization density and time delay | 2022-07-01 | Paper |
| A colored traveling salesman problem with varying city colors | 2022-01-07 | Paper |
| Inference approach based on Petri nets | 2021-12-02 | Paper |
| Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems | 2021-03-31 | Paper |
| Supervisory Control and Scheduling of Resource Allocation Systems | 2021-03-03 | Paper |
| Robust deadlock control of automated manufacturing systems with multiple unreliable resources | 2020-10-07 | Paper |
| Deadlock and liveness characterization for a class of generalized Petri nets | 2020-07-16 | Paper |
| Computation of strict minimal siphons in a class of Petri nets based on problem decomposition | 2020-02-07 | Paper |
| Structural Controller for Logical Expression of Linear Constraints on Petri Nets | 2020-01-28 | Paper |
| A novel method for deadlock prevention of AMS by using resource-oriented Petri nets | 2019-12-13 | Paper |
| Model checking Petri nets with MSVL | 2019-12-13 | Paper |
| Incorporation of Structural Tensor and Driving Force Into Log-Demons for Large-Deformation Image Registration | 2019-10-28 | Paper |
| Design of Regulatory Traffic Light Control Systems with Synchronized Timed Petri Nets | 2018-07-12 | Paper |
| Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs | 2018-07-12 | Paper |
| Deadlock characterization and control of flexible assembly systems with Petri nets | 2018-01-23 | Paper |
| A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR | 2017-11-10 | Paper |
| Approximately Optimal Computing Budget Allocation for Selection of the Best and Worst Designs | 2017-09-21 | Paper |
| Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems | 2017-07-27 | Paper |
| Distributed Winner-Take-All in Dynamic Networks | 2017-06-08 | Paper |
| Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis | 2017-05-16 | Paper |
| Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions | 2017-05-03 | Paper |
| Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems | 2016-03-02 | Paper |
| Synthesis of Petri net supervisors for FMS via redundant constraint elimination | 2015-12-22 | Paper |
| Macro liveness graph and liveness of \(\omega\)-independent unbounded nets | 2015-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5259921 | 2015-06-29 | Paper |
| A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets | 2015-06-25 | Paper |
| Robust control reconfiguration of resource allocation systems with Petri nets and integer programming | 2014-10-20 | Paper |
| Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018] | 2012-08-27 | Paper |
| Liveness of an extended S\(^{3}\)PR | 2010-06-17 | Paper |
| Modeling and monitoring of E-commerce workflows | 2009-03-24 | Paper |
| Modeling and control of discrete-event dynamic systems with Petri nets and other tools. | 2007-11-01 | Paper |
| Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets | 2007-08-20 | Paper |
| A multi-level approach for network design of integrated supply chains | 2006-07-13 | Paper |
| Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design | 2003-01-01 | Paper |
| A Petri net approach to investigating push and pull paradigms in flexible factory automated systems | 1999-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332690 | 1997-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332702 | 1997-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840199 | 1995-07-23 | Paper |
| Petri net synthesis and analysis of a flexible manufacturing system cell | 1994-01-06 | Paper |
| A moment generating function based approach for evaluating extended stochastic Petri Nets | 1993-08-12 | Paper |
| Design and implementation of a Petri net based supervisor for a flexible manufacturing system | 1993-01-04 | Paper |
