Author:
Virbitskaite I. B.,Zubarev A. Yu.
Reference14 articles.
1. Boyer, M. and Roux, O.H., Comparison of the expressiveness of arc, place and transition time Petri nets, Proc. Int. Conf. Application and Theory of Petri Nets, 2007, pp. 63–82.
2. Ramchandani, C., Analysis of asynchronous concurrent systems by timed Petri nets, PhD (Dept. Electrical Engineering) Thesis, Cambridge: MIT, 1974.
3. Merlin, P. and Faber, D.J., Recoverability of communication protocols, IEEE Trans. Commun., 1976, vol. COM-24, no. 9.
4. Bérard, B., Cassez, F., Haddad, S., Lime, D., and Roux, O.H., Comparison of the expressiveness of timed automata and time Petri nets, Proc. 3rd Int. Conf. Formal Modelling and Analysis of Timed Systems (FORMATS), 2005, pp. 211–225.
5. Popova-Zeugmann, L., Time Petri Nets, Springer, 2013, pp. 31–137.