BS IS0 18629-42:2006 BSl Standards Publication Industrial automation systems and integration Process specification language Part 42: Definitional extension: Temporal and state extensions bsi. BSIS0 18629-42:2006 BRITISH STANDARD National foreword This British Standard is the UK implementation of IS0 18629-42:2006 The UK participation in its preparation was entrusted to Technical Committee AMT/4, Industrial data and manufacturing interfaces. A list of organizations represented on this committee can be obtained on request to its committee manager. Contractual and legal considerations This publication has been prepared in good faith, however no representation, warranty, assurance or undertaking (express or implied) is or will be made, and no responsibility or liability is or will be accepted by BsI in relation to the adequacy, accuracy, completeness or reasonableness of this publication. All and any such responsibility and liability is expressly disclaimed to the full extent permitted by the law. This publication is provided as is, and is to be used at the recipient's own risk. The recipient is advised to consider seeking professional guidance with respect to its use of this publication. This publication is not intended to constitute a contract. Users are responsible for its correct application. The British Standards Institution 2023 Published by BSI Standards Limited 2023 ISBN 9780539222258 ICS25.040.40 Compliance with a British Standard cannot confer immunity from legal obligations. This British Standard was published under the authority of the Standards Policy and Strategy Committee on 31 March 2023. Amendments/corrigenda issued since publication Date Textaffected BS ISO 18629-42:2006 INTERNATIONAL ISO STANDARD 18629-42 First edition 2006-08-15 Industrial automation systems and integration Process specification language Part 42: Temporal and state extensions Systemes d'automatisation industrielle et integration - Langage de spécification de procédé Partie 42: Extension de definition: Extensions temporelle et d'etat Reference number ISO 18629-42:2006(E) [so @ IS0 2006 BS IS0 18629-42:2006 IS0 18629-42:2006(E) COPYRIGHT PROTECTED DOCUMENT IS0 2006, Published in Switzerland All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized otherwise in any form or by any means, electronic or mechanical, including photocopying, or posting on the internet or an intranet, without prior written permission. Permission can be requested from either ISO at the address below or ISO's member body in the country of the requester. ISO copyright office Ch. de Blandonnet 8 . CP 401 CH-1214 Vernier, Geneva, Switzerland Tel. +41 22 749 01 11 Fax +41 22 749 09 47 [email protected] www.iso.org ii @ IS0 2006 - All rights reserved BSIS0 18629-42:2006 IS0 18629-42:2006 Contents Page Foreword ..X Introduction.. ..xi 1 Scope.. 2 Normative References. tasof30/03/2023 3 Terms, definitions and abbreviations 3.1 Terms and definitions ..2 3.2 Abbreviation... 4 Overview ofparts 41 to 49 of Is0 18629 5 Organization of this part of Is0 18629 ..5 5.1 Introduction ..5 5.2 Extensions in this part of IS0 18629 ..5 6 State-based preconditions for activities. 6.1 Primitive lexicon of the State-based preconditions for activities .6 6.2 Defined lexicon for concepts of State-based preconditions for activities 6.3 Core theories required by State-based preconditions for activities. 7 6.4 DefinitionalextensionsreguiredbyState-basedpreconditionsforactivities .7 6.5 Definitions of concepts for State-based preconditions for activities.. 7 6.5.1 state_equiv .7 6.5.2 markov_precond. .7 6.5.3 partial_state 6.5.4 rigid_state. .8 6.6 Grammar for relations of State-based preconditions for activities ..8 7 Time-based preconditions for activities 9 7.1 Primitive lexicon of Time-based preconditions for activities. .9 7.2 Defined lexicon for concepts of Time-based preconditions for activities. .9 Licensed copy:Tongji University, 7.3 Theories