In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar
process algebras lack the expressive power to accurately capture mutual exclusion …

The aim of this paper is to introduce a concept of subnet with input and output places,
especially, the specific class of the functional subnet and to construct a formal methods for …