Author:
Bieber Burkhard,Fleischhack Hans
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. R. Alur, C. Courcoubetis, and D. Dill: Model Checking for Real-time Systems. Proc. 5th Symp. LICS (1990).
2. P. Amthor, H. Fleischhack, and J. Tapken: MOBY-more than a Tool for the Verification of SDL-Specifications. Technical Report, University of Oldenburg (1996).
3. T. Aura, J. Lilius: Time Processes for Time Petri Nets. Proc. ICATPN, Toulouse (1997).
4. B. Berthomieu, M. Diaz: Modelling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, Volume 17/3, 259–273 (1991).
5. E. Best: Partial Order Verification with PEP. Proc. POMIV’96, Partial Order Methods in Verification, G. Holzmann, D. Peled, and V. Pratt (eds.), American Mathematical Society (1996).
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006
2. An Algebra of Petri Nets with Arc-Based Time Restrictions;Theoretical Aspects of Computing - ICTAC 2004;2005
3. Hierarchical Timed High Level Nets and Their Branching Processes;Applications and Theory of Petri Nets 2003;2003
4. Computing a Finite Prefix of a Time Petri Net;Application and Theory of Petri Nets 2002;2002
5. Real-Time Systems Design with PEP;Tools and Algorithms for the Construction and Analysis of Systems;2002