for specification and verification of concurrent systems are described in this paper. From a high ... the workstation (or the complete factory). It contains the ... ducing n products (XA") and sends a ready-status message at port 3 (s3(r)). Then WA ...
