Note on Java implementation
Note on Java implementation
We have used Java to implement synchronous communication channels. This was to enable the construction of demonstration programs. However, it is usually better to implement concurrent programs directly using Java monitors.
For example, the CARPARK program is more succintly expressed using a BoundedSemaphore. The BoundedSemaphore has exactly the same specification as PLACE:
In the next section we will investigate transforming process model specifications into Java monitors.