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
82 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An extremum timed extended reachability graph for temporal analysis of time Petri nets;Discrete Event Dynamic Systems;2024-09-05
2. Waiting Nets: State Classes and Taxonomy;Fundamenta Informaticae;2024-01-30
3. Representation of Time Petri Nets using Interval Weighted Automata;2023 9th International Conference on Control, Decision and Information Technologies (CoDIT);2023-07-03
4. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
5. A proven translation from a UML state machine subset to timed automata;ACM Transactions on Embedded Computing Systems;2023-01-25