Cycle time optimization of deterministic timed weighted marked graphs by transformation

Z He, Z Li, A Giua - IEEE Transactions on Control Systems …, 2016 - ieeexplore.ieee.org
Timed marked graphs, a special class of Petri nets, are extensively used to model and
analyze cyclic manufacturing systems. Weighted marked graphs are convenient to model …

Petri net model and mathematical resolution for cross docking

B Trouillet - IFAC Proceedings Volumes, 2010 - Elsevier
In this paper, we consider a truck dock assignment problem. The constaints are: the number
of trucks exceeds the number of docks available and we evaluate the time constaint in the …

Performance Analysis of Timed Event Graphs with Multipliers using (Min,+) Algebra

S Hamaci, JL Boimond, S Lahaye - … in Control, Automation and Robotics II, 2007 - Springer
We are interested in the performance evaluation of timed event graphs with multipliers. The
dynamical equation modelling such graphs are nonlinear in (min,+) algebra. This …

[PDF][PDF] Performance analysis of timed event graphs with multipliers using (min,+) algebra.

S Hamaci, JL Boimond, S Lahaye - ICINCO, 2005 - scitepress.org
We are interested in the performance evaluation of timed event graphs with multipliers. The
dynamical equation modelling such graphs are nonlinear in (min,+) algebra. This …

On the linearization of weighted T-systems

B Trouillet, JC Gentina - International journal of production …, 2008 - Taylor & Francis
This paper deals with the study of the behaviour of a large class of Petri net: weighted T-
systems (WTS). We recall recent results which propose to linearize WTS on a marked graph …

Performance evaluation of timed Petri nets in dioid algebra

S Hamaci, K Labadi, AM Darcherif - Petri Nets-Manufacturing and …, 2012 - books.google.com
The theory of Discrete Event Dynamic Systems focuses on the analysis and conduct
systems. This class essentially contains man-made systems that consist of a finite number of …

[PDF][PDF] Performance Optimization of a Class of Deterministic Timed Petri Nets: Weighted Marked Graphs

HE Zhou - 2017 - alessandro-giua.it
In the last decades, there has been a constant increase in the awareness of company
management about the importance of formal techniques in industrial settings to address …

A Formal Approach for Timed Weighted T-Systems

B Trouillet - 2007 IEEE International Conference on Systems …, 2007 - ieeexplore.ieee.org
This paper is a consequence of further works which deal with the linear character of
weighted T-systems in dioids like (max,+) or (min,+). Our objective is to propose an algebraic …