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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.