Author:
Lefebvre Dimitri,Komenda Jan
Funder
Agence Nationale de la Recherche
Reference17 articles.
1. Automata for modeling real-time systems;Alur,1990
2. Modeling and verification of time dependent systems using time petri nets;Berthomieu;IEEE Trans. on Software Eng.,1991
3. Bouvier, P., Garavel, H., and Ponce-de León, H. (2020). Automatic decomposition of Petri nets into automata networks – a synthetic account. In R. Janicki, N. Sidorova, and T. Chatain (eds.), Application and Theory of Petri Nets and Concurrency, 3–23. Springer Int. Publishing, Cham.
4. Supervisory control of timed discrete-event systems;Brandin;IEEE Trans. on Automatic Control,1994
5. Introduction to discrete event systems;Cassandras,2008