ES2081068T3 - Procedimiento de ayuda para el desarrollo de un conjunto de automatas comunicantes. - Google Patents

Procedimiento de ayuda para el desarrollo de un conjunto de automatas comunicantes.

Info

Publication number
ES2081068T3
ES2081068T3 ES92402016T ES92402016T ES2081068T3 ES 2081068 T3 ES2081068 T3 ES 2081068T3 ES 92402016 T ES92402016 T ES 92402016T ES 92402016 T ES92402016 T ES 92402016T ES 2081068 T3 ES2081068 T3 ES 2081068T3
Authority
ES
Spain
Prior art keywords
networks
development machine
desired properties
programmable logic
development
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
ES92402016T
Other languages
English (en)
Inventor
Bernard Loyer
Catherine Colin
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Alcatel CIT SA
Original Assignee
Alcatel CIT SA
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Alcatel CIT SA filed Critical Alcatel CIT SA
Application granted granted Critical
Publication of ES2081068T3 publication Critical patent/ES2081068T3/es
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/052—Linking several PLC's

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Stored Programmes (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)
  • Non-Silver Salt Photosensitive Materials And Non-Silver Salt Photography (AREA)
  • Magnetic Resonance Imaging Apparatus (AREA)
  • Nonmetallic Welding Materials (AREA)
  • Programmable Controllers (AREA)
  • Small-Scale Networks (AREA)
  • Computer And Data Communications (AREA)
  • Paper (AREA)

Abstract

ESTE PROCESO CONSISTE EN: LAMADAS INICIALES, QUE TOMAN COMO MODELO RESPECTIVAMENTE COMPORTAMIENTOS PARCIALES DE CADA FUNCION; ESTA MAQUINA DE DESARROLLO, QUE CADA RED INICIAL POSEE LAS PROPIEDADES DESEADAS; O, UNA PLURALIDAD DE REDES A COMPONER (7) Y UN MODO DE COMUNICACION; DESARROLLO, QUE LA RED QUE SE OBTIENE MEDIANTE ESTA COMPOSICION TIENEN PROPIEDADES DESEADAS; NICIALES SI LA RED OBTENIDA NO TIENE LAS PROPIEDADES DESEADAS; ROLLO UNA PLURALIDAD DE REDES A COMPONER Y UN MODO DE COMUNICACION PARA HACER QUE REALICE UNA SERIE DE COMPOSICIONES Y DE VERIFICACIONES, HASTA LA OBTENCION DE REDES DE PETRI CON LAS PROPIEDADES DESEADAS Y QUE TOMAN COMO MODELO RESPECTIVAMENTE A: CADA AUTOMATA DEL CONJUNTO, Y A CADA COMUNICACION ENTRE DOS INTERFACES INTER-AUTOMATAS O ENTRE UNA INTERFACE EXTERNA Y EL EXTERIOR DEL CONJUNTO DE AUTOMATAS
ES92402016T 1991-07-16 1992-07-10 Procedimiento de ayuda para el desarrollo de un conjunto de automatas comunicantes. Expired - Lifetime ES2081068T3 (es)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9108985A FR2679398B1 (fr) 1991-07-16 1991-07-16 Procede d'aide au developpement d'un ensemble d'automates communicants.

Publications (1)

Publication Number Publication Date
ES2081068T3 true ES2081068T3 (es) 1996-02-16

Family

ID=9415182

Family Applications (1)

Application Number Title Priority Date Filing Date
ES92402016T Expired - Lifetime ES2081068T3 (es) 1991-07-16 1992-07-10 Procedimiento de ayuda para el desarrollo de un conjunto de automatas comunicantes.

Country Status (8)

Country Link
US (1) US5291427A (es)
EP (1) EP0527664B1 (es)
JP (1) JP2710896B2 (es)
AT (1) ATE131946T1 (es)
CA (1) CA2073903A1 (es)
DE (1) DE69206917T2 (es)
ES (1) ES2081068T3 (es)
FR (1) FR2679398B1 (es)

Families Citing this family (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5930522A (en) * 1992-02-14 1999-07-27 Theseus Research, Inc. Invocation architecture for generally concurrent process resolution
US5446652A (en) * 1993-04-27 1995-08-29 Ventana Systems, Inc. Constraint knowledge in simulation modeling
US5394347A (en) * 1993-07-29 1995-02-28 Digital Equipment Corporation Method and apparatus for generating tests for structures expressed as extended finite state machines
JPH08147345A (ja) * 1994-11-18 1996-06-07 Nec Corp オブジェクト指向設計再利用支援システム
US5754760A (en) * 1996-05-30 1998-05-19 Integrity Qa Software, Inc. Automatic software testing tool
DE19651334A1 (de) * 1996-12-10 1998-06-25 Ericsson Telefon Ab L M Betriebstestvorrichtung und Verfahren zur Ausführung eines Betriebstests für ein zu testendes System
US6049662A (en) * 1997-01-27 2000-04-11 International Business Machines Corporation System and method for model size reduction of an integrated circuit utilizing net invariants
JP2000515658A (ja) * 1997-04-10 2000-11-21 フランク ベーテル アンドレアス 複雑なデジタル集積回路の設計方法並びに回路構造体
US6059837A (en) * 1997-12-30 2000-05-09 Synopsys, Inc. Method and system for automata-based approach to state reachability of interacting extended finite state machines
US6067357A (en) * 1998-03-04 2000-05-23 Genesys Telecommunications Laboratories Inc. Telephony call-center scripting by Petri Net principles and techniques
US6324496B1 (en) * 1998-06-18 2001-11-27 Lucent Technologies Inc. Model checking of hierarchical state machines
US6256598B1 (en) 1998-07-10 2001-07-03 The Regents Of The University Of Michigan Method and system for creating a control-flow structure which represents control logic, reconfigurable logic controller having the control logic, method for designing the controller and method for changing its control logic
US6499136B1 (en) * 1999-11-10 2002-12-24 Lucent Technologies Inc. Single-shot entry code for software state transition
SG102555A1 (en) 1999-11-25 2004-03-26 Kim Seng Holdings Pte Ltd Method for using a data flow net to specify and assemble computer software
KR100327902B1 (ko) * 2000-01-27 2002-03-09 오길록 지역모형검사를 이용하여 프로토콜을 실시간적으로검증하는 방법
DE10026387B4 (de) * 2000-05-27 2007-04-19 Aspern, Jens von, Dipl.-Ing. Verfahren zur Ausführungszeitoptimierung für Umsetzungen von zustands- bzw. ablauforientierten Modellen, wie Petrinetze oder Automaten
US7120699B2 (en) * 2001-09-20 2006-10-10 Ricoh Company, Ltd. Document controlled workflow systems and methods
US6957178B2 (en) * 2001-10-29 2005-10-18 Honeywell International Inc. Incremental automata verification
DE102006056021B4 (de) * 2006-11-28 2014-07-31 Volkswagen Ag Entscheidersystem und Entscheidungsverfahren mit Analysefähigkeiten zum Steuern der Wechselwirkung von Komponenten mittels einer Vorrichtungslogik sowie Entwicklungssystem und Entwicklungsverfahren dafür
DE102006056019B4 (de) * 2006-11-28 2017-10-19 Volkswagen Ag Analyseverfahren und Analysemodul für ein Entscheidersystem
US8751284B2 (en) * 2009-04-30 2014-06-10 United Parcel Service Of America, Inc. Systems and methods for a real-time workflow platform using Petri net model mappings
US20120041794A1 (en) * 2010-08-10 2012-02-16 Sap Ag Method and system to validate component-based implementations of business processes

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4354226A (en) * 1978-11-14 1982-10-12 Cutler-Hammer, Inc. Communication terminal for interconnecting programmable controllers in a loop
JPS6232557A (ja) * 1985-08-06 1987-02-12 Mitsubishi Electric Corp 通信プロトコ−ル変換装置
JPS63286947A (ja) * 1987-05-20 1988-11-24 Hitachi Ltd プロトコルの自動検証方式
US4876664A (en) * 1987-08-26 1989-10-24 Allen-Bradley Company, Inc. Programmable controller with a dual intermodule message system
JPH01245335A (ja) * 1988-03-28 1989-09-29 Hitachi Ltd プログラマブルコントローラの多重化システム
US5163016A (en) * 1990-03-06 1992-11-10 At&T Bell Laboratories Analytical development and verification of control-intensive systems

Also Published As

Publication number Publication date
JP2710896B2 (ja) 1998-02-10
ATE131946T1 (de) 1996-01-15
EP0527664A1 (fr) 1993-02-17
CA2073903A1 (fr) 1993-01-17
US5291427A (en) 1994-03-01
FR2679398B1 (fr) 1993-10-08
DE69206917T2 (de) 1996-05-23
FR2679398A1 (fr) 1993-01-22
EP0527664B1 (fr) 1995-12-20
DE69206917D1 (de) 1996-02-01
JPH05210491A (ja) 1993-08-20

Similar Documents

Publication Publication Date Title
ES2081068T3 (es) Procedimiento de ayuda para el desarrollo de un conjunto de automatas comunicantes.
ATE178182T1 (de) Informationsnetzwerk
DE3276462D1 (en) Multi-station token pass communication system
ATE30920T1 (de) Selbstverloeschende polymerzusammensetzungen.
DE69020649T2 (de) Festbildherstellungsverfahren unter Verwendung von Zusammensetzungen, die Kern-Schalenpolymer enthalten.
FI961033A0 (fi) Menetelmä linkkien valitsemiseksi verkoissa
IT8123634A0 (it) Apparecchio di rilevamento adattativo dei guasti negli azionatori di un aeromobile.
EP0124615A4 (en) METHOD FOR THE AUTOMATIC PREPARATION OF DIGITAL ORDER DATA.
EP0401188A3 (en) Control system for a paper or board machine
DE68925438D1 (de) Hochleistungsnetz mit veranschaulichter Speicheranordnung für Echtzeitprozesssteuerungssystem
CA2079147A1 (en) Simulator using a neural network
EP0035778A3 (en) Modular system controller for a transition machine
DE68920628D1 (de) Netzwerkterminal-Steuerprogramm für Datenübertragungssubsystem.
IT8219282A0 (it) Ricerca tabellare di funzioni nonlineari utilizzando memorie di sola lettura, di dimensioni ridotte.
JPS51148307A (en) Speech path network control system
ATE26515T1 (de) Kommunikationssystem.
IL136865A0 (en) Data switching system
SE8305737D0 (sv) Automatiskt instellbart utjemningsnet
BR7705983A (pt) Central telefonica comportando uma rede de comutacao comandada por meio de circuitos de marcacao
NO900059L (no) Utstyr for folding og sammenfoeyning av kasser som dannes av flate eller hovedsakelig flate kasseemner.
SE7906125L (sv) Triaxiell programmerbar modul
ES2130813T3 (es) Disposicion para el modelado de un proceso dinamico.
JPS5769305A (en) Programmable logic controller
JPS5375810A (en) Communication system of several data higheays
ATE60477T1 (de) Schaltverfahren fuer datenspeicher insbesondere in einer fernsprechvermittlungsanlage.

Legal Events

Date Code Title Description
FG2A Definitive protection

Ref document number: 527664

Country of ref document: ES