Rüdiger Valk. Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 433-452, Springer, 1993.
Abstract is missing.