For the most recent entries see the Petri Nets Newsletter.

Deterministic Systems of Sequential Processes: Theory and Tools.

Souissi, Y.; Beldiceanu, N.

In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 380-400. Berlin, Heidelberg, New York: Springer-Verlag, 1988.

Abstract: An analysis is presented of an interesting class of Petri nets: Deterministic systems of sequential processes. This class is extended, and some new theoretical results are given. It is shown how these theorems have been implemented by rules in an expert system for Petri net analysis.

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

Back to the Petri Nets Bibliography