In: Journal of Parallel and Distributed Computing, Vol. 9, No. 2, pages 224-235. June 1990.
Abstract: The authors demonstrate the use of a hypertext system for visualization and simulation of the parallel control flow and message network of concurrent programs. Language-specific browsers can be realized by generating filters to convert program text into hypertext documents. The authors demonstrate the filter approach specifically with the parallel language CSP and the Alpha Trellis hypertext system. Alpha Trellis employs the dual nature of Petri nets to express formally in one structure both the linked information elements of a document and the reader/document interactions during browsing.
Keywords: filter approach; CSP; parallel process network; Alpha Trellis hypertext system.
Back to the Petri Nets Bibliography