Linear logic for nets with bounded resources Original Research Article

In this paper we introduce a new type of nets with bounded types of distributed resources (BR-nets). Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girardʹs Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.