• DML-CZ Home

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (8 articles)

• Vala, Jiří; Rek, Václav: On a computational approach to multiple contacts / impacts of elastic bodies. (English). In: Chleboun, J., Kůs, P., Papež, J., Rozložník, M., Segeth, K. and Šístek, J. (eds.): Programs and Algorithms of Numerical Mathematics. Proceedings of Seminar. Jablonec nad Nisou, June 19-24, 2022. Institute of Mathematics CAS, Prague, 2023. pp. 269-280
• Mavlankulov, Gairatzhan; Othman, Mohamed; Turaev, Sherzod; Selamat, Mohd Hasan; Zhumabayeva, Laula; Zhukabayeva, Tamara: Concurrently controlled grammars. (English). Kybernetika, vol. 54 (2018), issue 4, pp. 748-764
• Rivera-Rangel, Israel; Ramírez-Treviño, Antonio; Aguirre-Salas, Luis I.; Ruiz-León, Javier: Geometrical characterization of observability in Interpreted Petri Nets. (English). Kybernetika, vol. 41 (2005), issue 5, pp. [553]-574
• Hadjicostis, Christoforos N.; Verghese, George C.: Structured redundancy for fault tolerance in state-space models and Petri nets. (English). Kybernetika, vol. 35 (1999), issue 1, pp. [39]-55
• Jančar, Petr: Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 201
• Kršňáková, Jana: Selfgenerating sequences and different types of computational devices [Abstract of thesis]. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 201
• Warner, M. W.: Integral nets and fuzzy relations in deterministic automata. (English). Kybernetika, vol. 18 (1982), issue 1, pp. 22-30
• Stahn, Heinz: Über die Methode der Entscheidungstabellen. (German) [On the method of decision tables]. Kybernetika, vol. 16 (1980), issue 2, pp. (172)-182