Parameterized Reachability Trees for Algebraic Petri Nets

Karsten Schmidt 0004. Parameterized Reachability Trees for Algebraic Petri Nets. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 392-411, Springer, 1995.