For the most recent entries see the Petri Nets Newsletter.

Control Flow Analysis of Distributed Computing System Software Using Structured Petri Net Model.

Yau, S.S.; Chou, C.R.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography