Guest Editorial

Authors:
Angela Di Febbraro;Alessandro Giua;Guiseppe Menga
Affiliations:
Dip. di Automatica ed Informatica, Politecnico di Torino, Italy;Dip. di Ingegneria Elettrica ed Elettronica, Università di Cagliari, Italy;Dip. di Automatica ed Informatica, Politecnico di Torino, Italy
Venue:
Discrete Event Dynamic Systems
Year:
2001

A theory of timed automata

Theoretical Computer Science
Petri net based modeling of hybrid systems

Computers in Industry - Special issue: ASI'96: life cycle approaches to production systems: management, control and supervision
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems
FSPNs: Fluid Stochastic Petri Nets

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Modeling of hybrid systems using continuous and hybrid Petri nets

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Decidable hybrid systems

Mathematical and Computer Modelling: An International Journal

Hi-index	0.00