In: Proc. of the Workshop on the Future Trends of Distributed Computing Systems in the 1990s, Hong Kong 1988, pages 174-183. Washington IEEE Computer Society Press, 1988.
Abstract: The structure Petri net model is presented for the representation and analysis of the control structures of distributed computing system software (DCSS). The basic properties of the model and some analysis techniques using this model are also presented. Liveness, reachability, and other related problems and their complexity are investigated.