On Isomorphism Between Sequential and Non-sequential Description of Concurrent Systems.

For the most recent entries see the Petri Nets Newsletter.

On Isomorphism Between Sequential and Non-sequential Description of Concurrent Systems.

In: Zesz. Nauk. Akad. Gorn.-Hutn. Stanisl. Staszica, Autom., Vol. 39, pages 57-65. 1985. In Polish.

Abstract: The paper deals with a comparison between the sequential (Pawlak process) and the non-sequential (Petri net) way of a description of concurrent systems. The main result of the formal construct is the conclusion that the two description methods are equivalent.

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

Back to the Petri Nets Bibliography