Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification

Jiang, Jingyu; Azzopardi, D.; Holding, D.J.; Carpenter, G. F.; Sagoo, J.G.

doi:10.1049/ip-cta:19960266

Cited by 5 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Venkatesh et al (1994aVenkatesh et al ( , b, 1995 presented a methodology for automatic generation of PN models and proposed a new class of PNs, called real-time Petri nets (RTPNs), from logic control specification. Jiang et al (1996) used the sequential function chart (SFC) in the industry standard IEC1131 to control multi-axis high-speed machines. Since SFC is not a tool to analyse behavioural properties such as liveness and deadlock, Jiang et al (1996) introduced the controlled PN and translated SFC into the equivalent controlled PN.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design

Peng

Zhou

2003

International Journal of Production Research

View full text Add to dashboard Cite

Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete event control systems (DECS). The usual way to verify the dynamic behaviour of DECS design is to employ a process-based model, which proves to be impractical in application because the process-based model does not usually fully correspond to the control programming behaviour. This paper proposes a sensor-based stage Petri net (SBSPN) to represent a programmable logic controller (PLC) stage logic diagram (LD) for discrete-event control design. The new technique is able to simplify the modelling process of the complex PLC program without considering the interlocking problem within the ladder diagram. An illustrated example is used to explore the new methodology. The proposed method contains the power and flexibility of the Petri net analysis prior to the PLC implementation. It is believed that this technique is significant for industry practice.

show abstract

Section: Introductionmentioning

confidence: 99%

“…Jiang et al (1996) used the sequential function chart (SFC) in the industry standard IEC1131 to control multi-axis high-speed machines. Since SFC is not a tool to analyse behavioural properties such as liveness and deadlock, Jiang et al (1996) introduced the controlled PN and translated SFC into the equivalent controlled PN.…”

Section: Introductionmentioning

confidence: 99%

Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design

Peng

Zhou

2003

International Journal of Production Research

View full text Add to dashboard Cite

show abstract

“…Venkatesh and Ilyas (1995) a Real-Time Petri Nets (RTPNs) was proposed. Jiang et al (1996) a technique to translate PN into Sequential Function Charts (SFC) was proposed. In (Zhou and Twiss, 1998) a comparison was made between LL and PN-based control systems which revealed that PN-like diagram methods were better in terms of legibility and flexibility in the control design.…”

Section: Introductionmentioning

confidence: 99%

Petri Nets and Ladder Logic for Fully-Automating and Programmable Logic Control of Semi-Automatic Machines and Systems

Barghash¹,

Abuzeid²,

Al‐Rabadi³

et al. 2011

American Journal of Engineering and Applied Sciences

View full text Add to dashboard Cite

Problem statement: Automating semi-automatic dynamic machines and complex systems, where some functionalities are already automated but the machine doesn't run fully in automatic mode, represents another challenge to automating dynamic and manual complex systems. This study deals with a special case of this general problem, where the system's semi-automatic and automatic functionalities run separately in a sequence with either automatic and/or semi-automatic functionality running at any point of time, but not both. Approach: Petri-nets can successfully represent the operations of both the semi-automated and fully-automated functionalities of such dynamic systems. Three roles for the programmable logic controllers were suggested: (a) Ignoring the presence of the semi-automatic part, (b) simulating the semi-automatic part and recognizing discrepancies and(c) simulating the semi-automatic functionalities and supporting it, where the last choice was most costly and most reliable. Results: This study presents a case study for a PVC mixing dynamic process to illustrate the three suggested controller design possibilities, where a Petri net model and related ladder logic program were developed to show these three controller design options. In this respect, the semiautomatic functionality is an intermediate step between the two automated functionalities, within which an important decision should be made to end the previous automatic step and to begin the next automatic step. Conclusion/Recommendations: The automation method that was introduced in this study is applicable to a large number of machines within industrial and mechanical systems that were built using older semi-automatic control systems. Various decision analyses {DA1, DA2, DA3} were shown to produce basic choices for such types of applications. Petri-nets and ladder logic in this respect can successfully represent the operations of both the semi-automated and fully-automated functionalities, where a Petri net model and the consequent ladder logic program, used to program the utilized programmable logic controller, are developed to show three possible controller designs, where the choice between three designs depend on the designers objective of cost, reliability and fault tolerance.

show abstract

“…Rectangular Automata provide a satisfactory starting point for the topdown design of systems, but it is somewhat less useful for bottom-up or compositional designs in which subsystems with well defined behaviour are embedded within the system (Jiang et al, 1996;Lamport, 1997). To generate a more general approach that accomodates top-down design and provides consistency in compositional design, this paper develops and applies the theory of a Petri-Net-based hybrid systems model called the Rectangular Petri net or RPN.…”

Section: Introductionmentioning

confidence: 99%

Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets

Bordbar

Giacomini

Holding

2000

Discrete Event Systems

View full text Add to dashboard Cite

Abstract:This paper addresses the problem of deriving a design and verification method for hybrid systems. The paper applies the theory of Rectangular Petri nets in which the discrete event system is modelled using an extended form of Petri net and the continuous system is represented as a differential inclusion and its dynamics are constrained to rectangular regions of the state space. The Rectangular Petri net can be analysed using a Rectangular Reachability Graph, a generalisation of the reachability graph in conventional Petri Net theory. The method is illustrated using a simplified example of a manufacturing process.

show abstract

Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification

Cited by 5 publications

References 8 publications

Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design

Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design

Petri Nets and Ladder Logic for Fully-Automating and Programmable Logic Control of Semi-Automatic Machines and Systems

Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets

Contact Info

Product

Resources

About