Author:
Muñoz Doyra Mariela,Correcher Antonio,García Emilio,Morant Francisco
Publisher
Universitat Politecnica de Valencia
Subject
General Computer Science,Control and Systems Engineering
Reference46 articles.
1. Diagnosis of condition systems;Ashley,2004
2. Qualitative diagnosis of condition systems;Ashley;Discrete Event Dynamic Systems,2004
3. Basile, F., Chiacchio, P., Coppola, J., De Tommasi, G., june 2011. Identification of petri nets using timing information. En: Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on. pp. 154-161.
4. Modeling and verification of time dependent systems using time petri nets;Berthomieu;Software Engineering, IEEE Transactions on,1991
5. Bridging the gap between timed automata and bounded time petri nets;Berthomieu,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献