Publisher
Springer International Publishing
Reference8 articles.
1. J.-M. Ayache, J. Courtiat, M. Diaz, Rebus, a fault tolerant distributed system for industrial real-time control. IEEE Trans. Comput. C-31(7), 637–647 (1982)
2. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Dept. Electrical Engineering, MIT, Cambridge, MA, 1974
3. P.M. Merlin, D.J. Farber, Recoverability of communication protocols: implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036–1043 (1976)
4. B. Berthomieu, M. Menasche, A state enumeration approach for analyzing time Petri nets, in Proceeding of Applications and Theory of Petri Nets (ATPN’82), Como, Italy, 1982, pp. 27–56
5. B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans. Softw. Eng. 17(3), 259–273 (1991)