For the most recent entries see the Petri Nets Newsletter.

Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.

Hiraishi, Kunihiko

In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 244-262. Springer-Verlag, June 1992.

Abstract: An algorithm is proposed for constructing a Petri net model from a finite set of firing sequences. The algorithm consists of two places. In the first phase, a language is identified in the form of a finite state automation from given firing sequences. In the second phase, the dependency relation is extracted from the language, and the structure of a Petri net is guessed. The algorithm is for a class of safe Petri nets, and its running time is bounded by a polynomial function of given inputs.

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

Back to the Petri Nets Bibliography