Modeling of PLC behavior by means of timed net condition/event systems

Hanisch, Hans-Michael; Thieme, Jan; Lüder, Arndt; Wienhold, O.

doi:10.1109/etfa.1997.616302

Cited by 71 publications

(30 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work uses a Petri Net (PN) [23] derived formalism called Timed Net Condition Event Systems (TNCES) [4,5].…”

Section: Timed Net Condition Event Systems: Syntax and Semanticsmentioning

confidence: 99%

“…In particular, a brief overview of the state of the art in dynamic scheduling is presented, to illustrate the importance of making use of real time information in such decision taking mechanisms. The review is followed by an introduction to the syntax and semantics of the Petri Net-derived formalism that is used for modeling here [4,5]. The section concludes with a summary of the earlier reported research [3] and a comparison of the presented approach with related efforts.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems

Popescu

Soto²,

Lastra

2009

IETE Tech Rev

View full text Add to dashboard Cite

Changes in equipment and production demand cannot be predicted at the design stage. Therefore, decision taking mechanisms must rely on real time information collected from the shop floor. To perform scheduling and routing optimization, not only modifications in values of parameters of interest, but also in the flow itself must be accounted for. This paper addresses this problem and proposes a method to formally model, at runtime, the flow within a service-oriented manufacturing line. The resulting representation assists deadlock-free dynamic scheduling of the system.

show abstract

“…This work uses a Petri Net (PN) [23] derived formalism called Timed Net Condition Event Systems (TNCES) [4,5].…”

Section: Timed Net Condition Event Systems: Syntax and Semanticsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems

Popescu

Soto²,

Lastra

2009

IETE Tech Rev

View full text Add to dashboard Cite

show abstract

“…Timed Net Condition/Event Systems (TNCES) [6] can be employed for modeling and analyzing the services and their compositions. This subsection aims to highlight how the services can be modeled in TNCES.…”

Section: Modeling Services With Timed Net Condition/event Systemsmentioning

confidence: 99%

Service oriented architecture in developing of loosely-coupled manufacturing systems

Lobov

Puttonen

Herrera

et al. 2008

2008 6th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

Abstract-The control of manufacturing systems is traditionally addresses the needs of products or product family that the system is going to manufacture. That is, the needs for the products are defined prior to the design of the production line. Although some degree of flexibility (in the terms of product family) can be implemented in the system, such systems may still have limitations in not allowing rapid reconfiguration as a new product with unforeseen needs arrives at runtime. Such a scenario usually requires (partial) reprogramming of the production line to accommodate new products. This paper presents a serviceoriented orchestration framework for seamless integration of service-enabled devices to allow rapid reconfiguration and dynamic discovery of the devices abstracted as web services.

show abstract

“…Building a controller model to check formal properties is an important concern of the community which has been widely studied [5,4,3]. However, as explained in [9], the special need for a plant model to check liveness properties has encouraged works on formal modeling of the plant [17,15,13].…”

Section: Introductionmentioning

confidence: 99%

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Perin

Faure

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

This paper focuses on timed models which represent closed-loop systems composed of a plant and a logic controller. Both the plant and controller models are described in a formalism where urgent transitions are possible, to avoid non-realistic evolutions, and without deadlock when they are separated.It is first shown that deadlocks may occur in the plant model as soon as both models are coupled. To solve this issue, shared variables which model the changes of the inputs of the controller are defined and introduced in some actions of the plant model as well as in some guards of the controller model; the aim of these variables is to authorize evolutions of the controller only when at least one input has changed. This solution removes the previously pinpointed deadlocks and guarantees the reactivity of the controller.

show abstract

Modeling of PLC behavior by means of timed net condition/event systems

Cited by 71 publications

References 3 publications

Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems

Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems

Service oriented architecture in developing of loosely-coupled manufacturing systems

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Contact Info

Product

Resources

About