Publication | Date of Publication | Type |
---|
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 Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs | 2018-07-12 | Paper |
Design of Regulatory Traffic Light Control Systems with Synchronized Timed Petri Nets | 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 |