For the most recent entries see the Petri Nets Newsletter.

Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model.

Nielsen, D.S.; Kleinrock, L.

In: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 396-415. Springer-Verlag, 1994.

Abstract: This paper extends the applicability of exact analysis of the GSPN model by providing methods to improve the time and space complexity of both state space and structural level reduction. For state space level reduction, we maximize the concurrent firing of immediate transitions. For structural level reduction, we minimize the number of generated replicas for timed transitions by using branch and bound techniques to create concurrent replicas that simulate the firing of the timed transition followed by the simultaenously firing of multiple immediate transitions


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

Back to the Petri Nets Bibliography