For the most recent entries see the Petri Nets Newsletter.

Modeling and Verification of Distributed Systems by Petri Nets.

Yamada, T.; Tsuji, K.; Kumagai, S.; Kodama, S.

In: Electron. Commun. Jpn. 1, Commun. (USA), Vol. 71, No. 7, pages 22-32. 1988.

Abstract: The design methods presently employed for large-scale systems are characterized by bottom-up or top-down hierarchy. The Petri net is a model which can be used for qualitative analysis and verification of the distributed systems. The paper discusses this problem and specifies the condition in terms of the net structure and the initial token distributions so that those properties are preserved.


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

Back to the Petri Nets Bibliography