On hybrid systems modeling with Petri nets

Authors:
Drighiciu Mircea;Manolea Gheorghe;Petrisor Anca;Popescu Marius
Affiliations:
Faculty of Electromechanical, Environmental and Informatics Engineering, University of Craiova, Craiova, Romania;Faculty of Electromechanical, Environmental and Informatics Engineering, University of Craiova, Craiova, Romania;Faculty of Electromechanical, Environmental and Informatics Engineering, University of Craiova, Craiova, Romania;Faculty of Electromechanical, Environmental and Informatics Engineering, University of Craiova, Craiova, Romania
Venue:
ICOSSSE'08 Proceedings of the 7th WSEAS international conference on System science and simulation in engineering
Year:
2008

Citing 2
Cited 3

On Hybrid Petri Nets

Discrete Event Dynamic Systems
Discrete, Continuous, and Hybrid Petri Nets

Discrete, Continuous, and Hybrid Petri Nets

Processing data for colored noise using a dynamic state estimator

WSEAS TRANSACTIONS on COMMUNICATIONS
Solutions for traffic lights intersections control

ECC'10 Proceedings of the 4th conference on European computing conference
Modelling and simulation of traffic lights on road intersections

WSEAS Transactions on Systems and Control

Quantified Score

Hi-index	0.00

Visualization

Abstract

For the last past years, the formalism of classic Petri nets and their various extensions, offer powerful concepts and formal techniques for modeling, simulation and analysis of hybrid dynamic systems. In this way, this paper presents a Petri net approach to specify and simulate hybrid dynamic systems with autonomous commutation of the model generated by a hysteresis phenomenon, in order to validate their behavior for several simulation scenarios. An application to a thermostat with anticipative resistance used into a control temperature process is treated.