Xudong He, John A. N. Lee. Deriving Temporal Logic Specifications from Predicate Transition Petri Net. In SEKE 89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989. pages 116-121, Knowledge Systems Institute, 1989.
Abstract is missing.