In: World Scientific Series in Computer Science, Vol. 16: A Perspective in Theoretical Computer Science, pages 165-198. 1989.
Abstract: The authors propose a net-based model called Asynchronously Communicating Sequential Systems (ACSSs) to study asynchronous communication. In this model, a sequential agent is denoted by a restricted type of Petri net called a safe S-net, in which no two transitons can ever occur concurrently. The channels are modelled by ordinary Petri net places. It is shown that the theory of trace languages can be extended to capture the non-sequentail behaviour of ACSS.