A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets

Authors:
Miguel Felder;Angelo Morzenti
Affiliations:
-;-
Venue:
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Year:
1994

Citing 0
Cited 2

Modeling of, and reasoning with recurrent events with imprecise durations

IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Extension of Petri Nets for Representing and Reasoning with Tasks with Imprecise Durations

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract