Net condition/event systems with multiple condition outputs

Rausch, Mathias; Hanisch, Hans-Michael

doi:10.1109/etfa.1995.496811

Cited by 117 publications

(50 citation statements)

References 8 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%

“…The extensions provided by TNCES have a fully defined mathematical backbone [4]. The notions of condition arcs and event arcs, together with their impact on the flow of tokens within the net can be derived algebraically.…”

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 2 more Smart Citations

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: Timed Net Condition Event Systems: Syntax and Semanticsmentioning

confidence: 99%

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

show abstract

“…Major contributions for modular plant modeling using standard "blocks" can be founded in [22], that defined Condition/Event Systems, or in [23] that defined Net Condition/Event Systems. However, our purpose is verification using model-checking, so we have chosen to use a "ready-to-check" and powerful class of automaton.…”

Section: A the Controller Verification Proceduresmentioning

confidence: 99%

A generic approach to build plant models for DES verification purposes

2006

2006 8th International Workshop on Discrete Event Systems

View full text Add to dashboard Cite

Abstract-The modeling of plant behavior is often essential in the design, performance analysis or diagnosis of Discrete Event Systems (DES). Yet this task remains a difficult one for which little research has been devoted. In this paper, we propose a technique for building behavioral models specific to large-scale plants, in order to perform a formal verification of the controller by means of "model-checking". In this aim, we have opted to use a modular approach with an appropriate class of automata. To obtain the overall plant model, parallel evolutions of the elementary automata are to be coordinated by a sequencer that ensures consistency of these evolutions.

show abstract

“…Event Automata [5] and Net ConditionlEvent Systems [6], that simplifies the transformation of state-chart models to these formalisms. The dynamic state chart is built from states (rectangular shapes) and state transitions (arcs) marked with Boolean conditions.…”

Section: Modeling and Validationmentioning

confidence: 99%

Component Design and Formal Validation of SFA Systems: A Case Study

Vyatkin

Hanisch

2002

Knowledge and Technology Integration in Production and Services

View full text Add to dashboard Cite

In this paper we present a case study of component based automation system design using IEC61499 accompanied by subsequent application of the formal modeling methods and the corresponding verification tools. Our approach to validation is based on the results of formerly conducted research and development works on formal modeling of distributed control systems. The validation tool VEDA (Verification Environment for Distributed Applications) is intended on integration with IEC61499 engineering tools by means of using standardized source-code syntax and XML-based document types.

show abstract

Net condition/event systems with multiple condition outputs

Cited by 117 publications

References 8 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

A generic approach to build plant models for DES verification purposes

Component Design and Formal Validation of SFA Systems: A Case Study

Contact Info

Product

Resources

About