Supervision of Petri Nets.pdf

Supervision of Petri Nets PDF

Geert Stremersch

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.

An hybrid approach combining frames/object oriented and Petri Nets paradigms for modelling, evaluating and supervising FMS/FAS is presented. Application examples in the context of …

7.66 MB DATEIGRÖSSE
1461356032 ISBN
Englisch SPRACHE
Supervision of Petri Nets.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im Hugendubel.de-Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofia Voigt

1 Jan 2011 ... Keywords: Agent Cooperation, Petri Nets, Supervision, Supervisor Synthesis. Cite this paper: Frantisek Capkovic , "Supervision in Synthesis of ...

avatar
Matteo Müller

Time Supervision of Concurrent Systems using … Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets . By Thomas Chatain and Claude Jard. Download PDF (801 KB) Abstract. Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency

avatar
Noel Schulze

Supervision of Petri Nets | SpringerLink Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events.

avatar
Jason Lehmann

This paper develops a decentralized supervision policy for a Petri net through collaboration between a coordinator and subnet controllers. The coordinator is ...

avatar
Jessica Kohmann

electronic library - Supervision of Open Systems using a ... Gamrad, Dennis und Oberheid, Hendrik Oliver und Söffker, Dirk (2007) Supervision of Open Systems using a Situation-Operator-Modeling Approach and Higher Petri Net Formalisms. IEEE International Conference on Systems, Man and Cybernetics, 2007-10-7, Montreal, Canada. Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.