In this paper we continue our study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only consumption, but presence of resources as well. It describes transformation of resources not only for the single point but for some net, where supplies can be sent from one object to another one using interfaces. We introduce a new semantics and a new calculus for this logic and prove the completeness theorem for this calculus in respect to our semantics.