A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
Journal
Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings
Journal Volume
324 LNCS
Pages
351-359
Date Issued
1988
Author(s)
Type
conference paper