Modeling of, and reasoning with recurrent events with imprecise durations

Authors:
Stanislav Kurkovsky;Rasiah Loganantharaj
Affiliations:
-;-
Venue:
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
Year:
2000

Citing 17
Cited 0

Timed Petri net schedules

Advances in Petri Nets 1988
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
Timed possibilistic logic

Fundamenta Informaticae - Special issue: logics for artificial intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Temporal Logic and Categories of Petrie Nets

ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
Timed Petri Nets and Temporal Linear Logic

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
ESTL: A Temporal Logic for Events and States

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Time Stream Petri Nets: A Model for Timed Multimedia Information

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Possibilistic temporal propagation

Possibilistic temporal propagation
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

IEEE Transactions on Software Engineering
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

IEEE Transactions on Software Engineering
Possibilistic temporal reasoning based on fuzzy temporal constraints

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Possibilistic Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Jobshop scheduling with imprecise durations: a fuzzy approach

IEEE Transactions on Fuzzy Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties of the recurrent processes being modeled by an extended Petri net. Such temporal properties include time-stamps stored in tokens and durations of firing the transitions. We apply our method to model the recurrent behavior of an automated manufacturing cell.