Title :
Application of temporal constrained predicate nets to production systems
Author :
Kubek, J.-M. ; Motet, G.
Author_Institution :
Gerii-Lesia, Toulouse, France
Abstract :
This paper discusses the advantage of using a hybrid model to express the discrete aspects (events) as well as continuous aspects (time) of production systems. We propose an extension of the Petri Net model to take these two information types into account. Finally we use this new model to describe, to simulate and to check the properties of a production system in a simple example. The proposed model is close to the predicate transition one. However it is more general because it is not limited to finite domains. So, it allows continuous temporal properties to be explicitly defined. Moreover, we show how the constraints intervening in the behaviour modelling can be handled to demonstrate safety properties depending on time
Keywords :
Petri nets; continuous time systems; discrete event systems; logic programming; modelling; production control; temporal logic; Petri Net model; behaviour modelling; constraint logic programming; continuous time systems; discrete event systems; predicate transition; production systems; temporal constrained predicate nets; Continuous production; Continuous time systems; Discrete event simulation; Discrete event systems; Electrical capacitance tomography; Logic programming; Petri nets; Product safety; Production systems; Time factors;
Conference_Titel :
Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on
Conference_Location :
Paris
Print_ISBN :
0-7803-2535-4
DOI :
10.1109/ETFA.1995.496764