Author:
Cassez Franck,Roux Olivier H.
Subject
Hardware and Architecture,Information Systems,Software
Reference30 articles.
1. Timed Petri nets and BQOs;Abdulla,2001
2. A theory of timed automata;Alur;Theoretical Computer Science B,1994
3. A causal semantics for time Petri nets;Aura;Theoretical Computer Science,2000
4. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Transactions on Software Engineering,1991
5. An enumerative approach for analyzing time Petri nets;Berthomieu,1983
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Representation of Time Petri Nets using Interval Weighted Automata;2023 9th International Conference on Control, Decision and Information Technologies (CoDIT);2023-07-03
2. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
3. A proven translation from a UML state machine subset to timed automata;ACM Transactions on Embedded Computing Systems;2023-01-25
4. Methodology for fast prototyping of distributed real-time systems;2022 5th International Symposium on Informatics and its Applications (ISIA);2022-11-29
5. Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems;Sensors;2022-02-03