Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Kamiński, Łukasz"'
Autor:
Kamiński, Łukasz, Lasota, Sławomir
We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure for the b
Externí odkaz:
http://arxiv.org/abs/2405.16176
Autor:
Kamiński, Łukasz, Kozłowski, Maciej, Sporysz, Daniel, Wolska, Katarzyna, Zaniewski, Patryk, Roszczyk, Radosław
With a large variety of communication methods and protocols, many software architects face the problem of choosing the best way for services to share information. For communication technology to be functional and practical, it should enable developer
Externí odkaz:
http://arxiv.org/abs/2212.07475