Logic Control and State Feedback in Petri Nets with External Input Places
نویسندگان
چکیده
منابع مشابه
Feedback control logic synthesis for non safe Petri nets
This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. A new idea for computing predicates in non safe Petri nets will...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملLogic Programming Petri Nets
With the purpose of modeling, specifying and reasoning in an integrated fashion with procedural and declarative aspects (both commonly present in cases or scenarios), the paper introduces Logic Programming Petri Nets (LPPN), an extension to the Petri Net notation providing an interface to logic programming constructs. Two semantics are presented. First, a hybrid operational semantics that separ...
متن کاملPetri Nets and Linear Logic :
The paper reports on an experiment with the major linear logic programming languages defined in the recent years: Lolli, LO and Forum. As a case study, we consider the representation of a class of Petri nets, P/Tω nets, in each of these languages.
متن کاملLogic and Fuzzy Petri Nets
This paper is a survey about theories capable of handling imprecision, uncertainty, resource management and evolution in time in dynamic systems such as manufacturing systems. The goal of this paper is twofold: i) discuss the relationship between the diierent types of logic (classical, fuzzy and linear) and Petri nets; ii) present and discuss the main fuzzy Petri nets models recently developed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 1988
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.24.1195