WO2001093114A3 - Method for optimizing the execution time for conversions of state or operational sequence oriented models into real solutions - Google Patents

Method for optimizing the execution time for conversions of state or operational sequence oriented models into real solutions Download PDF

Info

Publication number
WO2001093114A3
WO2001093114A3 PCT/EP2001/005536 EP0105536W WO0193114A3 WO 2001093114 A3 WO2001093114 A3 WO 2001093114A3 EP 0105536 W EP0105536 W EP 0105536W WO 0193114 A3 WO0193114 A3 WO 0193114A3
Authority
WO
WIPO (PCT)
Prior art keywords
model
optional
conversions
optimizing
state
Prior art date
Application number
PCT/EP2001/005536
Other languages
German (de)
French (fr)
Other versions
WO2001093114A2 (en
Inventor
Aspern Jens V
Original Assignee
Aspern Jens V
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 Aspern Jens V filed Critical Aspern Jens V
Priority to AU2001267443A priority Critical patent/AU2001267443A1/en
Publication of WO2001093114A2 publication Critical patent/WO2001093114A2/en
Publication of WO2001093114A3 publication Critical patent/WO2001093114A3/en

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/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • 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
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G05B2219/23—Pc programming
    • G05B2219/23002—Petrinet
    • 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
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G05B2219/23—Pc programming
    • G05B2219/23257—Grafcet
    • 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
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G05B2219/23—Pc programming
    • G05B2219/23267—Program derived from sequence time diagram and stored in table
    • 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
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/34—Director, elements to supervisory
    • G05B2219/34325—Speed up, optimize execution by combining instructions belonging together
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Devices For Executing Special Programs (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

In order to take topology into account in an appropriate manner when a model is converted, a flag is set when a marker enters a causal chain and re-set when it leaves. This results in a decision criterion for a program branch, ensuring that the chain will only be processed if a marker is located therein. Long causal chains can be divided into areas. Each area is provided with one such flag and is controlled thereby. The model elements are converted into SPS languages, during a transition for example, in the following manner: switching is processed only when necessary, said switching being dependent upon a program branch which occurs downstream from the switchability check . A whole range of other strategies exist, based on various characteristics of the model, the process represented in the model and the target platform. The choice of a strategy can, for the most part, be computer-assisted in terms of design time, running time (optional) and fine tuning (optional), or be manual (optional).
PCT/EP2001/005536 2000-05-27 2001-05-16 Method for optimizing the execution time for conversions of state or operational sequence oriented models into real solutions WO2001093114A2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
AU2001267443A AU2001267443A1 (en) 2000-05-27 2001-05-16 Method for optimizing the execution time for conversions of state or operational sequence oriented models into real solutions

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
DE10026387.9 2000-05-27
DE10026387A DE10026387B4 (en) 2000-05-27 2000-05-27 Process for optimizing execution time for implementations of state- or process-oriented models, such as Petri nets or machines

Publications (2)

Publication Number Publication Date
WO2001093114A2 WO2001093114A2 (en) 2001-12-06
WO2001093114A3 true WO2001093114A3 (en) 2002-07-11

Family

ID=7643834

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/EP2001/005536 WO2001093114A2 (en) 2000-05-27 2001-05-16 Method for optimizing the execution time for conversions of state or operational sequence oriented models into real solutions

Country Status (3)

Country Link
AU (1) AU2001267443A1 (en)
DE (1) DE10026387B4 (en)
WO (1) WO2001093114A2 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE10028140A1 (en) 2000-06-07 2001-12-20 Siemens Ag Method for organizing the execution of electronically controlled switching processes activates sequential and/or parallel steps by preset transition conditions while deactivating them under the same switching processes.

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0618517A1 (en) * 1993-04-02 1994-10-05 Mitsubishi Denki Kabushiki Kaisha Programmable controller and SFC program executing method using the programmable controller
EP0697638A1 (en) * 1994-07-29 1996-02-21 Bull S.A. Method of detection of complete sequences and failed sequences in a system for situation recognition
US5621639A (en) * 1989-06-01 1997-04-15 Fray; Paul J. Process control
US5623401A (en) * 1995-08-16 1997-04-22 Allen-Bradley Company, Inc. Industrial controller with optimized execution of relay ladder logic programs

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2679398B1 (en) * 1991-07-16 1993-10-08 Alcatel Cit METHOD FOR ASSISTING THE DEVELOPMENT OF A SET OF COMMUNICATING AUTOMATONS.
DE4132666A1 (en) * 1991-10-01 1993-04-08 Dieter Dr Vetterkind Learning process network for modelling entire complex processes - contains network of metacellular automata, double Pteri network, evolutionary process moudle and diverse operators.
DE19850324C2 (en) * 1998-11-02 2003-11-13 Abb Patent Gmbh Process for the automated mapping of target system-neutral control engineering planning results to target system-specific control technology structures
DE19951152A1 (en) * 1998-11-05 2000-05-11 Ibm Device for calculating starting conditions in computer system operating as workflow management system continues process to start target activity if logical expression is true

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5621639A (en) * 1989-06-01 1997-04-15 Fray; Paul J. Process control
EP0618517A1 (en) * 1993-04-02 1994-10-05 Mitsubishi Denki Kabushiki Kaisha Programmable controller and SFC program executing method using the programmable controller
EP0697638A1 (en) * 1994-07-29 1996-02-21 Bull S.A. Method of detection of complete sequences and failed sequences in a system for situation recognition
US5623401A (en) * 1995-08-16 1997-04-22 Allen-Bradley Company, Inc. Industrial controller with optimized execution of relay ladder logic programs

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
DESCOTES-GENON B: "COLOURED PETRI NETS: A SAME TOOL FOR MODELLING, SIMULATION AND CONTROL OF MANUFACTURING SYSTEMS", PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS. SAN ANTONIO, OCT. 2 - 5, 1994, NEW YORK, IEEE, US, vol. 2, 2 October 1994 (1994-10-02), pages 1677 - 1682, XP000531267, ISBN: 0-7803-2130-8 *
FAHMEEDA QADRI ET AL: "TIMED PETRI NETS FOR FLEXIBLE MANUFACTURING CELL DESIGN", PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS. SAN ANTONIO, OCT. 2 - 5, 1994, NEW YORK, IEEE, US, vol. 2, 2 October 1994 (1994-10-02), pages 1695 - 1699, XP000531269, ISBN: 0-7803-2130-8 *
REHKOPF A: "GESTEUERTE EREIGNISKESKRETE PROZESSE: WEITERFUHRENDE UBERLEGUNGEN ZUR QUACK'SCHEN WASCHMACHINE CONTROL OF DISCRETE EVENT PROCESSES: FURTHER REFLECTIONS TO THE QUACK'S WASHING-MACHINE", AUTOMATISIERUNGSTECHNIK - AT, OLDENBOURG VERLAG. MUNCHEN, DE, vol. 43, no. 5, 1 May 1995 (1995-05-01), pages 242 - 248, XP000507698, ISSN: 0178-2312 *

Also Published As

Publication number Publication date
WO2001093114A2 (en) 2001-12-06
AU2001267443A1 (en) 2001-12-11
DE10026387A1 (en) 2001-12-06
DE10026387B4 (en) 2007-04-19

Similar Documents

Publication Publication Date Title
WO2003090164A3 (en) System and method for providing inferencing services
WO1997012508A3 (en) Transforming and manipulating program object code
WO2006017247A3 (en) Method and apparatus for designing electronic circuits using optimization
WO2001057653A3 (en) Apparatus for automatically generating source code
IL142572A0 (en) Method for determining differences between two or more models
CA2244127A1 (en) Phrase recognition method and apparatus
WO2001037126A3 (en) A system and method for joint optimization of language model performance and size
ATE239336T1 (en) METHOD AND DEVICE FOR CONFIGURING A VOICE RECOGNITION SYSTEM
DZ2725A1 (en) Specific pollen promoter and methods for transforming pollen and controlling fertility.
CA2393545A1 (en) Method and system for content-based document security, routing, and action execution
WO2003025689A3 (en) Large scale process control by driving factor identification
DE60004860D1 (en) ADAPTIVE-PREDICTIVE EXPERT CONTROL SYSTEM
EP1215553A3 (en) Vehicle-mounted control unit having checking program installed therein, inspection device, and inspection method
WO2004040418A3 (en) Method and system for creating, serving and tracking advertisements
WO2003063052A3 (en) Modeling reaction pathways
WO2000017811A3 (en) Method and configuration for determining a sequence of actions for a system which comprises statuses, whereby a status transition ensues between two statuses as a result of an action
WO2001093114A3 (en) Method for optimizing the execution time for conversions of state or operational sequence oriented models into real solutions
MY140623A (en) Conveying installation and method of placing a conveying installation in operation
AU3257197A (en) Process for the activation of denatured protein
EP0887748A3 (en) Multilingual terminology extraction system
ATE542577T1 (en) CONTROL OF MULTIPLE DEVICES
BRPI0514816A (en) steam turbine
WO2001016787A3 (en) Method and apparatus for optimizing real functions in boolean domain
ATE305922T1 (en) METHOD FOR SEPARATING HYDROXYMETHYLTHIOBUTUTRIC ACID
ATE528379T1 (en) METHOD FOR PRODUCING LOW SULFUR GASOLINE

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG US UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
AK Designated states

Kind code of ref document: A3

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG US UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A3

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG

122 Ep: pct application non-entry in european phase
NENP Non-entry into the national phase

Ref country code: JP