The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Fiber-matrix bond properties are typically evaluated using a single-fiber pullout test. Such tests for ultra-high performance concrete (UHPC) are few in the literature and, in particular, those that focus on high pullout rates are exceedingly rare. In this research program, different types of high-strength steel fibers (twisted, straight and hooked) are embedded in two UHPC matrices with varying amounts...
The Critical Chain Scheduling (CCS) makes schedule planning and control more effective than traditional project management as CPM and PERT. Traditional network techniques are ineffective in modeling a dynamic and stochastic system such as a construction project. This paper demonstrates how Coloured Petri Nets (CPN), a visual formalism used for modeling discrete event systems, can be used effectively...
An urban traffic network of signalized intersections can be suitably modeled as discrete event system, in which the traffic light alternations are described by means of timed coloured Petri nets (TCPN). In this paper, a model of such a network via TCPN is used to state and solve the problem of coordinating several traffic lights. Moreover, some relevant experimental results are presented and discussed...
An urban traffic network of signalized intersections can be suitably modeled as discrete event system, in which the traffic light alternations are described by means of timed coloured Petri nets (TCPN). In this paper, a model of such a network via TCPN is used to state and solve the problem of coordinating several traffic lights. Moreover, some relevant experimental results are presented and discussed...
An urban network of signalized intersections can be suitably modeled as discrete event system, in which the traffic light alternations are described by means of timed coloured Petri nets (TCPN). In this paper, a model of such a network via TCPN is used to state and solve the problem of coordinating several traffic lights with six and two phases. Moreover, the analysis of the control TCPN models is...
In this paper, we propose a method called timed colour Petri nets (TCPN) in modeling a sophisticated urban traffic light control system for nine crossroads. The variation of a vehicle's direction in the crossroads is allowed two-phase, six-phase, or eight-phase transitions for each different crossroad. To our knowledge, this is the first work that employs TCPN to obtain the model of the urban traffic...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.