Aman, Bogdan; Ciobanu, Gabriel Travelling salesman problem in tissue P systems with costs. (English) Zbl 1469.68018 J. Membr. Comput. 3, No. 2, 97-104 (2021). MSC: 68Q07 68Q42 90C27 PDFBibTeX XMLCite \textit{B. Aman} and \textit{G. Ciobanu}, J. Membr. Comput. 3, No. 2, 97--104 (2021; Zbl 1469.68018) Full Text: DOI
Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek On the accuracy of formal verification of selective defenses for TDoS attacks. (English) Zbl 1476.68152 J. Log. Algebr. Methods Program. 94, 45-67 (2018). MSC: 68Q60 68M11 90B18 94A60 PDFBibTeX XMLCite \textit{M. O. O. Lemos} et al., J. Log. Algebr. Methods Program. 94, 45--67 (2018; Zbl 1476.68152) Full Text: DOI arXiv
Lvov, M. S.; Peschanenko, V. S. Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling. (English. Russian original) Zbl 1323.68614 Cybern. Syst. Anal. 48, No. 6, 931-942 (2012); translation from Kibern. Sist. Anal. No. 6, 144-156 (2012). MSC: 68W30 15A39 65K05 90C05 PDFBibTeX XMLCite \textit{M. S. Lvov} and \textit{V. S. Peschanenko}, Cybern. Syst. Anal. 48, No. 6, 931--942 (2012; Zbl 1323.68614); translation from Kibern. Sist. Anal. No. 6, 144--156 (2012) Full Text: DOI
Kanovich, Max; Rowe, Paul; Scedrov, Andre Collaborative planning with confidentiality. (English) Zbl 1229.90072 J. Autom. Reasoning 46, No. 3-4, 389-421 (2011). Reviewer: Efstratios Rappos (Aubonne) MSC: 90B70 68T20 03B80 PDFBibTeX XMLCite \textit{M. Kanovich} et al., J. Autom. Reasoning 46, No. 3--4, 389--421 (2011; Zbl 1229.90072) Full Text: DOI
Valette, Robert Some issues about Petri net application to manufacturing and process supervisory control. (English) Zbl 1510.68072 Azéma, Pierre (ed.) et al., Application and theory of Petri nets 1997. 18th international conference, ICATPN ’97. Toulouse, France. June 23–27, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1248, 23-41 (1997). MSC: 68Q85 03B70 90B30 93C83 PDFBibTeX XMLCite \textit{R. Valette}, Lect. Notes Comput. Sci. 1248, 23--41 (1997; Zbl 1510.68072) Full Text: DOI