1. Adelson-Velskii, G.M., Landis, E.M.: An algorithm for the organization of information. Sov. Math. Dokl. 3, 1259–1263 (1962)
2. Ajmone Marsan, M., Balbo, G., Conte, G.: A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans. Comput. Syst. 2, 93–122 (1984)
3. APNN–Toolbox. http://www4.cs.uni-dortmund.de/APNN-TOOLBOX/ (2004). Accessed May 27, 2018
4. Bause, F., Buchholz, P., Kemper, P.: A toolbox for functional and quantitative analysis of DEDS. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, vol 1469, pp. 356–359. Springer, Heidelberg (1998)
5. Bournez, K., Maler O., Pnueli A.: Orthogonal polyhedra: Representation and computation. In: Vaandrager, F., van Schuppen, J.H. (eds.) Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol 1569, pp. 46–60. Springer, Heidelberg (1999)