BS EN 62551:2012 BSl Standards Publication Analysis techniques for dependability Petri net techniques NOCOPYING WITHOUTBSIPERMISSION EXCEPTAS PERMITTED BY COPYRIGHT LAW BSi raisingstandardsworldwidem BSEN62551:2012 BRITISHSTANDARD National foreword identical to IEC 62551:2012. The UK participation in its preparation was entrusted to Technical Committee DS/1, Dependability. A list of organizations represented on this committee can be obtained on request to its secretary. This publication does not purport to include all the necessary provisions of a contract. Users are responsible for its correct application. @ The British Standards Institution 2012. Published by BSI Standards Limited 2012 ISBN9780580613531 ICS 21.020 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 30 November 2012. Amendments issued since publication Date Text affected BSEN62551:2012 EN 62551 EUROPEANSTANDARD NORMEEUROPEENNE EUROPAISCHE NORM November 2012 ICS 21.020 English version Analysistechniquesfor dependability - Petri net techniques (IEC62551:2012) Techniquesd'analysedesretede AnalysemethodenfurZuverlassigkeit fonctionnement - Petrinetze Techniques des réseaux de Petri (IEC62551:2012) (CEI62551:2012) the status ofa national standard without any alteration. Up-to-date lists and bibliographical references concerning such national standards may be obtained on application to the CEN-CENELEC Management Centre or to any CENELEC member. This European Standard exists in three official versions (English, French, German). A version in any other language made by translation under the responsibility of a CENELEC member into its own language and notified to the CEN-CENELEC Management Centre has the same status as the official versions. CENELEC members are the national electrotechnical committees of Austria, Belgium, Bulgaria, Croatia, Cyprus the Czech Republic, Denmark, Estonia, Finland, Former Yugoslav Republic of Macedonia,France, Germany Greece, Hungary, Iceland, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, the Netherlands, Norway, Poland, Portugal, Romania, Slovakia, Slovenia, Spain, Sweden, Switzerland, Turkey and the United Kingdom. CENELEC EuropeanCommitteeforElectrotechnical Standardization Comite Européen de Normalisation Electrotechnique Europaisches Komitee fur Elektrotechnische Normung Management Centre:AvenueMarnix 17,B-1000Brussels @2012 CENELEC - All rights of exploitation in any form and by any means reserved worldwide for CENELEC members Ref. No. EN 62551:2012 E