Home

GRIF 2014 Petri Nets with predicates User Manual

1. y A ta 1 Normal a 8 8 8 2 2 TXB Ql Si Al Rl sl Sl T ilo h 5 E e Q E I pee Petri net input 651 437 2 TOTAL 1 2 Description of the Menus 1 The File menu contains the standard commands used in this type of menu open close save print etc The properties name creation date created by description version can be accessed and modified by selecting Document properties The Document statistics provide information on the model s complexity It is also possible to access a certain number configurable of recently modified files User Manual 4 72 Version 31 March 2014 The icon bar just under the menus proposes shortcuts for most of the File commands File C3 New Open Open Petrii0 file Save Save as ale JE Close Ctrl F4 Save as prototype Save modification made on prototype Ctrl haj s Prototypes Library amp Page layout Print Save in RTF file Statistics of document Document properties Recent files 2 The Edit menu contains all the commands needed to edit the model being input graphically The icon bar just under the menus proposes shortcuts for most of the Edit commands Edit amp Undo Ctrl Z Redo Ctri hlaj Z Ctrl C Ctrl Paste Cre R Paste and renumber Ctrl F Tf Remove Supprimer Renumber places Find Remplace Overall change Selection change Rever
2. 10 7 Places Places tab defines places display options e Label size Specifies size of places font e Display name Enables to display place name or not e Display number Enables to display place ID or not e Display number of tokens Enables to display number of tokens or not e Display name on shortcuts Enables to display the name of reference place on each shortcut 10 8 Transitions Transitions tab defines Transitions display options e Label size Specifies size of transitions font e Display name Enables to display transition name or not e Display number Enables to display transition ID or not e Show HISTO characteristics Enables to display HST flag of transition or not User Manual 70 72 Version 31 March 2014 2 TOTAL Display firing options PRIO EQP Enables to display firing options of transitions Display SEQ flag if needed Enables to display SEQ flag for transitions with sequential assignments Display guards Enables to display guards of transition or not Display assignment Enables to display assignments of transition or not Display law Enables to display law of transition or not Use a default law Enables to use a specific law as default law Default law Enables to define the default law to be used Maximum number of characters by line Specifies maximum number of characters per line Lexical check before computing Activate lexical check of transitions before each c
3. Print Save in RTF file The Save as template document menu enables the user to save the document as a template in the Module template folder New files can then be created using this model and the action New from template 8 2 RTF File A model can also be saved in RTF format This allows the saved model to be reloaded in WORD to insert the graphical part of the model in any document To do this go into menu File Save in RTF file File F New Open Open PetriiO file Save Save as Close Ctrl F4 Save as prototype Save modification made on prototype Prototypes Library E Page layout B Print Save in RIF file Note There is another way to insert model in a report Select the part of the model copy it and paste it in Microsoft WORD or other software User Manual 63 72 Version 31 March 2014 8 3 Input data 2 TOTAL When the input data for the computation engine is generated it can be saved This type of file has the don extension These files can therefore be modified using a text editor then reloaded to launch computations on them for example This action should be made only by advanced user 8 4 Res ults Computation results can be saved in different formats 1 Export of a table in particular in csv format fal GRIF Fault Tree Module Probability Importance Factors Products with components Results Info Synthesis PR Max Average I
4. User Manual 45 72 Version 31 March 2014 4 2 3 Histograms S Computation setup for Prod Computations Histograms List of values at the end _ Fixed size Intervals Humber of internals Equiprobable classes Number of classes User defined intervals Ci SIL interval 1E 4 1E 3 1E 2 1E 1 Specific interval 0 20 50 75 100 C terate From To Step 2 Iteration log scale From To Nb of intervals Left included xy Right included x y Nb One interval will be added for values before lower limit and one after upper limit including higher values Computations made previously gives mean value for many histories Histograms enable to know how values are distributed during histories Cf Moca User manuel for further information e List of values provides value at the end of each history e Fixed size intervals provides the way value are distributed by cutting intervals of values in X intervals which size 1s equal e Equiprobable classe intervals provides intervals whose probability to contains a value at the end of a story id the same e User defined Intervals Bounds of intervals can be defined as follows Automaticaly defined limits for SIL Manual definition of limits separate by commas Iteration user choose lower limit and upper limit and the size of intervals Iteration log scale user choose lower limit and upper limit and the number of intervals Size of intervals will
5. Date of first affectation to a not null value _ Timing Chart NB for booleans false 0 and true 1 Specific Times C Times or list of times separator terate From oo Z oS To oo OOOO O Step ios Computation made at User Manual 44 72 Version 31 March 2014 2 TOTAL The window to edit observed variables statistic states 1s made of two tabs The first tab is for computation the second one is for histograms These two tabs enables configuration of Types of statistics Computation times and Histograms 4 2 1 Types of statistics Types of statistical computations are the following e 1 Cumulated time where value is not null This is the mean time in which the statistic state is different to 0 on a history Purpose Mainly used to compute mean availabilities during a history 2 Probability to have a not null value at t This is the probability that the statistic state is different to zero at the end of the history Purpose Among other things used to compute the mean availability at the end of a history or compute the reliability to find if the failure state which is an absorbent state is present at the end of a history 3 Value at t This is the mean value of the statistic state at the end of the history Purpose This type of computation can be used to compute the occurrence of specific event during a history 4 Number of changes from null value to not null value between 0 a
6. 2 4 Using repeated places or shortcuts The concept of a shortcut or repeated element was introduced in the Petri Nets with predicates module for four main reasons e To link together portions of the model e To avoid graphicaly complex model and keep readability e To simplify the use of the Group function cf below e To highlight what is essential and what is not Repair Tean fis 7 Failure exp Lambaa I Production 0 ae Regain Emi exp Failed I Poduchon Podhiax jets 0 Repair Start are Repair jets 0 In order to create a repeated place select the repeated place icon in the toolbar then click on place here place number 4 The repeated place or shortcut is displayed as a number if place has no token or as a colored rectangle if place contains tokens Then the repeated place can be selected to be put where tou want You link the shorcut to a transition with an arc Operation can be repeated many times 2 times on figure User Manual 24 72 Version 31 March 2014 2 TOTAL The behavior of this Petri Net is the same as the one describe in above paragraph Messages have been replaced by Repair_Team place For the net describing equipment behavior the Repair_Team place is auxiliary 2 5 Page and group management The use of shortcuts allowed us to obtain two Petri Nets which have no graphical link between them They communicate only by shortcuts This can be used for examp
7. In a Petri Net the presence or not of a token in a place normally corresponds to the presence or not of a specific status for one of the components in the system modelled by the Petri Net All the tokens present at a given instant Petri Net marking thus correspond to the global status of the system studied The change in this marking is the dynamic aspect of the system PH is 0 pi2 is 0 PIs is 0 2 1 2 Inputting Transitions To input the different Transitions select the corresponding symbol on the symbol bar A new element is then created each time you click the mouse in the graphical input zone In a Petri Net the Transitions model the events which may happen at a given moment on the system studied failures tests maintenance etc Firing the transitions modifies the marking of the places to which they are linked by the arcs upstream and downstream This is used to simulate the system s dynamic behaviour When created each transition has a default name Tri for the transition entered in the ith position Unlike the places the transition number is unimportant since it is not used in the data file generated for the computation User Manual 13 72 Version 31 March 2014 2 TOTAL engines You are therefore highly recommended to assign them a mnemonic label more than for the places cf Section 2 2 3 Configuring the Transitions exo 1653 2 1 3 Inputting Upstream and Downstream Arcs Th
8. a Boolean expression The transition can only be fired if the guard is true The code editor has three parts The first is an editable text zone where you enter the code using Moca RP syntax Under this zone is a noneditable zone indicating any errors which may arise The third is the Tools part which is a data entry aid The Syntax button makes a syntax change The Semantics button checks the semantics The errors are displayed in the bottom left part Under the buttons there are drop down menus giving access to the model s various data Select the desired data then click the lt button to insert it in the code The Functions drop down menu shows funtions that can be used in Moca cf Moca User Manual 2 2 3 4 Assignments tab Properties Name Failure _ Sequential assignments use 5 instead od Production 0 0 Failure NBFailure 1 Parameters Functions The Assignments tab contains a code editor identical to that of the Guards tab for entering the assignments The assignments are played when the transition is fired User Manual 21 72 Version 31 March 2014 2 TOTAL In Moca engine usual behavior is the following assignments are separate with and they are processed in parallel You can ask for sequential processing of assignments using Sequential assignments check box In this case each assignment must end with a 2 2 0 5 Others tab Properties Name Failure _ Histogram
9. exp 1E me D nz i Piz PIS pets fis o In the above example if 0 5 is entered the token will go into place no 3 3 10 Simulation with groups There are two ways of firing one or more valid transitions that belong to a group e Enter the group to fire the transitions by clicking on it directly left click on the group or right click then Edit group User Manual 41 72 Version 31 March 2014 2 TOTAL e Or run a fire operation simply using the list of valid transitions in the group and sub groups right click on the group Unit Failure _A Failure _B If we go back to the previous example with two components then the Failure transition was effectively the only valid transition When transitions are fired within groups it may prove difficult to determine the modifications that have been made This is why it is useful to use the dynamic fields 3 11 Dynamic fields It may be useful to observe the change in the different parameters of the model It is also usefull to see a result next to its corresponding system To do this use dynamic fields by selecting the corresponding icon on the vertical tool bar The dynamic fields are a type of improved comments They can be used not only to enter words or phrases but also to insert model values or results data parameter name Lambda value If you want to display informations about a data of the model you must use the following syntax data type of data
10. saves firing dates _ Transition with memory Condition to Keep memory true Priority positive for high priority otherwise negative lo _ Prevent multiple triggers at the same time _ Equiprobable management of conflict _ Private for prototype The Others tab contains 4 options 1 Selecting the Histogram check box tells MOCA RP to record all this transition s firing instants and to print them later 2 The Private check box is only used to create prototypes cf prototypes appendix 2 2 3 6 Addition of guards Once the transition s guards configured it 1s possible to add one or more other guards This functionality is available in the transitions table Edit transitions tab located in the right side of the application To add one or more guards to one or more transitions all we have to do 1s to select transition s to modify then do a rigth click and finally select the Add guard With a And menu or the Add guard With a Or menu Add guard With a And menu will add guard s to the selected transitions by doing a logical And with the existing guards Add guard With a or menu will add guard s to the selected transitions by doing a logical Or with the existing guards Gaurds to add are entered thanks to a code editor 2 2 3 Addition of assignments Once the transition s assignments configured it is possible to add one or more other assignments This functionality is available in the tr
11. 32 20 10 Selec ng comnex adjacent parts sccrcscisssavadteevsiecinasaseeuntcesadamaeataiouansieidwaseainasternatasaeatacns 32 ZO Loomi aa aeS ees EEE 32 O LO D a E E E E 33 20 13 Gumo ASsociatima STADION a 106202 aceanaasrasetneendeceaateeae aR aAa ai 33 A E a E penne acaaee eau 33 LO PDE CE S aE E TE 34 DONO WE OLOLY OES e E E 34 J SIMI ALIOW MIVELACIIVE costesalct rcnsncnctsesscic cane vencucsslciducnsncactscsacsscesensacesselcscceasnengueasesse E S 35 ile EA EE a ccc toes sasenas E O O N E A E O N A I N E esas 35 32 o MUn Pane l esineen a E E E E E 35 5 Oe MAU OM ISUOL i E TE E E A E O E E acartacnunensasimearse 36 Se MIO MSC e a E EEN E 37 5 COMES UTI The SIMU ANION ee a vant aceuvsie vnc danesncercaiden A TE aT 37 36 Colour Code 7 LEren espa a a a aa a aE 38 S27 e MOM i O EE OSN E N A I A T OTE 38 3 8 Automatic firing of transitions with zero delay cc cece cece cence cece eee eee ee esses eases ee eneeneeaenneas 40 3 9 Probability firing for transitions with fire on demand cc cece cence eee ee ce eee eeeaeeeeaenseneeaeeeas 4 3 10 Simulation With groups seccsesstcreausreisesdcedarcmetsonsdeeiehar daa cdonsaedscberceecdawedd ed danedactomssadesdaceessuaces 4 Sella Vi Ce 1S ocean tcehacncmuctquesasecteausanacaaehontoduusesqud E E S 42 4 Statistics and Setup of Variables ssessoeesoeoesscoessoessoesoocsssessoecsosesssesosesosessssesssesosesooessoessssesoses 44 User Manual 2 712 Version 31
12. March 2014 4 L Deri OM OR stanotte Sta S asan een taurine E E E A T 44 4 2 Configuration of statistic states or variables nnnsssnsssseusssseesssrrssssressssresssressseressereesseres 44 Bile Ty es E E E E E T E E O N E E T E 45 A22 OMID ATOM ES porised i E a a a 45 S EE 1 1 1 wiser diets E E E PE ina A N A T E E Samet neta 46 4 3 Tables and profil of variables nssissiimsccstciniicsiinioisai iriste tine aba tecesadetdeiscealsdasbeRiascdatedasameddeasees 46 S MOCCA compuUlaANONS ccc cesecsaes reor sac eseneeencaeaseweoeoncnacesun ston EOE Eaa 48 5 1 Configuring the computations ssseessssesssseosssressssresssresssrresssrersseressoressseressoresseeresseressseet 48 32 Roade he eUs Ner GUD eeann EAEE 49 ra Moca Te UN err r E R E a 49 O COVES irsin nE EE E a 51 Gals GUO S WOW e E E EEE EE 51 62s SClCCHOR OF results WINdOW soca sccaciiacacontacmenacitedemumteamediamsadencal TEE PEE EASE 53 6 2 1 Curves from data in result bank cxcn sx dens tees cacvicvaadvebauracnginsasiaenueracndy taadeetursduphenacdernaaceueses 53 6 2 2 Comparative curves from data in results bank cece cece cee ce eee ee ec eeeeceeeeaeneeeeeseneeaeneeas 54 G93 Ex mC ON CU C6 E E E AE A E ES A E E A EEN E 55 E AO e E E EE A E E EE 55 ee oh coset rere E E benanceaneca ena panennnenuse 56 HaT Ded OI PISO PANU sxfedn one reise EEES 56 6 3 4 Equiprobable Classes Histogram siicscocnucndausacecomhsseinnteormsnasearasenneaiasecsnbrsesconsaweacse
13. a click right or using the cursor down arrow on the left of the page manager In Edit mode the submodel can then be modified as you wish When the modification is terminated you return to the previous figure by exiting group editing by menu Group Quit Group Edition or using the cursor up arrow on the left of the page manager It s also possible to choose a picture for a group by using Group Change Picture menu Note Groups can be grouped recursively 2 6 Data Entry Aids To simplify model creation the Petri Nets with predicates module has different data entry aids to automate time consuming operations 2 6 1 Copy Paste Renumber without shortcut To assist with the entry of the repeated parts of the Petri Nets Copy Paste and Renumber mechanisms have been provided This operation is carried out in 6 steps Select the part to be copied Click the Copy icon or use menu Edit Copy or the shortcut Ctrl C Click the Paste and Renumber icon or use menu Edit Paste and Renumber or the shortcut Ctrl R A window appears where you choose the start number for the renumbering The previously selected part is copied and the copy is selected Dunk wWNnN Move the copy to the desired location We then obtain the net shown in the figure opposite below Places 1 2 and 3 of the original have been transformed into 4 5 and 6 for the copy Failure exo amida U Pmguctior 0 Repair Emi exp 7 U Pmouchor P
14. field used o search data value that the field must match information you want to display for the selected data We can analyze the above windows as follows I am looking for a parameter which name is lambda and I want to display its value When you type the first letters a completion system helps to type script without error If you want to display a result of the result bank the syntax is the following result bank path in the bank target target result what you want to display at what time User Manual 42 72 Version 31 March 2014 2 TOTAL We can analyze the next picture as follows I am looking for a result which path in the bank is default Moca I want results for TS3 for available valriable and I want its value for the last time If last is replaced by time 10 we obtain value at t 10 7 Commentaire result bank default Moca target variable STAT_TYPE3 availability value last You can also display a summary of result Replace what you want to display by summary In this case summary is the last word of this script A button has been added in 2013 version it is a script generator for model data User Manual 43 72 Version 31 March 2014 4 Statistics and Setup of Variables In addition to the mean marking of the places and of the mean number of times each transition is fired the simulation can compute a certain number of additional statistics Statistical results can
15. is called the query where Feuil1 is the name of the EXCEL sheet containing the data User Manual 60 72 Version 31 March 2014 2 TOTAL 7 3 Operation The aim is now to link some of the model s parameters to the database To do this start by displaying the column Linked to in the parameters table click right on the top of the columns k z Columns manager x Select columns that have to be displayed and their order Linked to Intern for prototype initial value in prototype Desactivate data sorting fastest Then double click in the Linked to column to display the database items When one of these items has been selected click OK to validate the connection The parameter then takes the value of the item to which it is now connected Ea Database Ea IL Mame in database Mew value Description Loi comp 0 0080 commenti Lp2comp 0 0040 Lp3comp 0 0020 Lp4comp 0 0010 Remove link to database Cancel Note The button called Remove link to database at the bottom of the table breaks the link between the parameter and the database item User Manual 61 72 Version 31 March 2014 2 TOTAL If some of the database values to which GRIF is linked are modified the parameters connected to this database can be updated To do this select Data and computations Update from database and display the Database window Unselect all Select all Update selection Mame Value Linked to Mame in database Mew value
16. necessary precautions to re establish the correct numbering to eliminate the duplicates 2 6 5 Overall change When creating the Petri Nets it may be necessary to change a large part of the elements in the models changing the names numbers etc The Replace all function in the Edit menu allows you to perform overall changes e Use the Edit Overall changes function e Choose the type of elements to be modified among available tabs e The Find Replace part changes a character string present in one or more variable labels place labels or transition labels It is replaced by the string entered in the Replace part e The Renumber part only concerns the places It is used to change place numbers You indicate a Start number then specify a constant Step or Add a constant value to the current numbers User Manual 29 72 Version 31 March 2014 2 TOTAL e Click OK to return to the chart The changes are validated Note The name changes and renumbering can be done manually if the necessary precautions are taken avoiding duplicates etc You click the Future number or Future name column and enter the change Do not forget to validate it with the ENTER key P JaGrif 4 Predicates Petri Nets Module Variables Transitions Present name Futur name Production Production ProdhiAx ProdhiAx Find Replace in gular expression pd Regular express Replace by Replace all 2 6 6 Selection ch
17. second indicates their location in the document page group Clicking on a line in this bottom table opens the page where the element is located and selects the element 1 4 2 Table accessibility As mentioned above the tables can be accessed via the Data and Computations menu in this case each table is displayed in a separate window User Manual 10 72 Version 31 March 2014 2 TOTAL To avoid having too many windows open all the tables are grouped together in tabs on the right hand side of the application This area can be hidden displayed using the small arrows above the input zone o w Y It is possible to choose the tables in this zone by right clicking on the tabs A contextual menu appears in which the user can select the tables s he wishes to display el 1 ve Rotating machin BX Static machines Sources a Targets 1 Sources utility c Targets utility r F components Eg Maintenance crew H Spare parts Ecce gt Convergent connectors J 3 Divergent connectors J Fa Distributing connectors J P Flare connectors 7 Statistical data H E Parameters _ Variables 4 Profiles vi Results m Simulation 1 4 3 Data creation The Parameter editor is used to create boolean integer and real parameters The following window is used to choose the name domain and value of the new parameter Its value must be en
18. the mechanism Repeated place number internal to the original subchart has been renumbered as 5 on the copy However the numbering of the corresponding shortcuts to place 4 external to the copy has not changed You can navigate between an element s different shortcuts using menu Tools Navigate to shortcuts A window opens and displays the list of shortcuts Clicking on a shortcut automatically positions the view on this shortcut You can return to the original element by clicking on its name at the top of the window 2 6 3 Copy Paste Renumber with local data When you wish to perform a Copy Paste and Renumber operation by including local data in the copy a dialogue box will open during the Paste step This window allows you to rename the copy of the local data Dipso_ 4 PI JaGrif 4 Predicates Petri Nets Module Variables Present name Futur name Dipso_ACopie Dipso_ACopie exp Era T N Proto E Find Replace l l lexn Lambda l El Find _ Regular expression 7 a4 Repair Erd a Replace by Replace all exp 0T J i l l Reparation ere A The above figure shows that the name assigned by default to the copy of the local data is original name Copy This name which is not necessarily well adapted can be modified User Manual 28 72 Version 31 March 2014 2 TOTAL Once the copy is made new local data is created Where necessary if the definition of the original local d
19. type of alignment Align center 4 Click left on the mouse CG XI New Page CG i Page manager Ns eo Move to page lets 0 ity Refresh me Emen B E EA Tees Align right C E Align top E Ne View toolsBar gt EL Align middle 8 i pets 0 Display state bar On Align bottom Vets 0 Document options Application options Gomi a nti Connect to a CS file Foe z z Similarly to align elements horizontally select the type Align middle which aligns the ordinates while keeping the abscissa constant The principle is the same as that described above 2 6 9 Multiple selection It may sometimes be useful to select several elements located in the four corners of the input zone To simplify this type of selection click on each of the desired elements one by one while holding down the Shift key on the keyboard 2 6 10 Selecting connex adjacent parts It is sometimes difficult to select an additional part of a model To simplify the selection process select a graphical element then use menu Select connex part in the Edit menu The additional part can be selected directly by clicking on the element while keeping the Control button pressed 2 6 11 Zoom and page size When creating a model if the page size is not big enough it can be changed using the menus Increase page size Control Keypad Reduce page size Control Keypad Page size Control Keypad under the Tools menu The Page size menu allo
20. which modifies variable depending on profiling table To do that right click on the profil table and use the function Create a profiling net You will be asked the variable to profile then the Petri Net will be created on the current page 100 T5 50 Tri Tre dre dro test Prof Delay t test Profil Delay xTabGetiftest Profil tees 25 test xTabGeitest Profit_tdetz 1 tab3 test Prof idx fest Prom idx 7 0 i 1 O00 2 O00 3000 4000 Minimum 4E1 Maxirnum 1E2 Mean 6 7425E1 Py Tors NB Profil is not linked to the variable This is only the Petri Net that has been generated which is modifying variable according to the profil That why you must not modify this little Petri Net User Manual 47 72 Version 31 March 2014 5 MOCA computations The computations using MOCA RP V12 are performed in three main steps e general configuration of parameters e the launch itself e reading the results file 5 1 Configuring the computations The computation configuration window can be accessed in two different ways either via menu Data and Computations Moca Data or via Data and Computations Launch Moca 12 The difference between the two is that in the second case the configuration step is directly followed by the computation launch step The configuration window which opens is called General Information Start Moca computation Tithe Demo jog Default compute times D Times or list of times sepa
21. 14 2 TOTAL between the same place and the same transition In this case they can be superimposed and give the illusion that they are a bidirectional arc but in fact they are two separate arcs Allows to break the arc Notes 1 For reasons of model appearance or legibility it may be useful to break down an arc into several parts To do this select the arc then move the small red square located in the middle of the segment 2 Itis also possible to straighten an arc using the command Tools Straighten arcs 2 1 4 Inputting Local Data To add local data to the model select the corresponding icon on the task bar then click left at the point on the model where the data is to be placed A window then opens Local data Ea Add a graphical tool for O anew data an existing variable Definition initial value O an existing parameter This dialogue box gives three choices User Manual 15 72 Version 31 March 2014 2 TOTAL 1 Create new data opens a window where then you can create new data or a new parameter 2 Use an existing variable creates a graphical representation of a variable 3 Use an existing parameter creates a graphical representation of a parameter Once created local data is represented as follows Variable Parameter Name Shows that it Is a parameter Domain Current Value value Click right on the local data to access its properties Some fields can be modified in this mann
22. 2 TOTAL GRIF 2014 Petri Nets with predicates User Manual Version 31 March 2014 Copyright 2014 Total Table of Contents 1 Description OF the PACEIIACE ccsccpsrecccstocssevecsucpevecgucceuevenscscerewessecssspecoeararsscveuceseseovecsuecescneceraceneeces 4 1 1 Main window of the Petri Nets with predicates module cc cc ccecc cence ence ence eee eeeeaeneeaennenees 4 Le ADE SCEIPUIOMAO the VC MURS oyge a agave yea Saale naay saan Saatenn rea duumendnedaneb aces eae vens unas aaeees 4 Loye FOO Da eaa entheascacteaetinatnnsctiencede caueeatnateestaaataneatoa acne E 8 La ADA BACT ADCS ned gacincs gua paterracauameumaaa E E AE 8 LAT Descripuon ot The Tables scnca ccsiccardostecendacandundessqatecadacnbs E a a 8 AS 1 AIDC ICC SS TO BLY E e reas sine suet E A E E 10 TA Data E ca Om E tanseustonsceecdbatatecteea teas EE oences seas E E 1 Dir PCS VIC carers e E E sauce toda netaeesmnnvusesais tana pancaspeuaisensnetamauassananaseraniersecsas 12 2 HOw to create a Petr NOI csccssosscasesessensasnstsateoctaadassadpataserssndanesieasssousenenatedsetasaiseasumeaienssseeseotiws 13 2M debe E ING e E E E E E suena souuenaveceaseiteneee 13 Ze Tapa IO We ACCS eE eatancnees oeueianucaieneceanuenceaaasennssseucianuss 13 LL mpoto Tron ICIS saene E E E hennasiussaccenasetane E de uaaseasenace 13 2 1 3 Inputting Upstream and Downstream Arcs cc cece cece eee e eee e nce e eee eee eee ea ene eeeneeeeeaenneas 14 LLA mpan
23. 527E 1 This curve represents the change in mean availability of component A over time The points have been computed at regular intervals 1 every 1000 hours User Manual 55 72 Version 31 March 2014 6 3 2 Timing Chart Curve 1 Curve 1 Min 1 76E 2 Max 9 067E 1 Mean 2 101 98E 1 This curve also represents the change in instantaneous availability of component A over time marking of place no 1 In this case the points have been computed according to the curve variation This captures the discontinuities better and thus makes the curve smoother and more precise 6 3 3 Fixed Size Histogram 1E Curve 1 Curve 1 Mlin 0 0 Max 2669 0 Mean 9 09091E2 This histogram was produced from the mean value of the availability of component B marking of place no 5 The 10 000 results from the 10 000 simulated histories have been stored in 10 classes of the same interval User Manual 56 72 Version 31 March 2014 6 3 4 Equiprobable Classes Histogram a wd a LL cc Min 0 0 Max 6 0 Mean 3 0 This histogram was produced from the mean value of the availability of component B marking of place no 5 Five equiprobable classes were requested The probabilities that component B s mean availability is in one of these classes is identical 6 3 5 Defined Interval Histogram The 10 000 results from the 10 000 simulated histories have been stored in defined intervals We have defined 0 1 2 3 equivalent t
24. A 125 313 Determinist transition 4 Repair_End_B 1 131 Bas Stochastic transition eee User Manual 36 72 Version 31 March 2014 2 TOTAL 3 4 Simulation scheduler The simulator includes a panel which displays the scheduler of the transitions to be fired You can display a transition from the scheduler in the model view by right clicking on it H Fiat Lax KE Dela Transitions Firing Time O Repair Start A 131 864 A 758 57 890 442 Current time 131 564 Currrent cycle 0 3 5 Configuring the simulation The simulation options can be accessed using the button located next to the start simulation button in the simulator toolbar They can be configured when the simulation is started B Start simulation Seed of random generator 1 234566 1ET Automatically fire instantaneous transitions Number of automatic fire 220 before loop detection _ Activate trace of step by step simulation Path of trace file Graphical Rendering of simulation Delay between each transition firing ms The seed to be used by the simulator can be entered here The tick box Automatically fire instantaneous transitions automatically plays the transitions in Dirac delta function Q In this case the user must indicate how many fire operations the simulator can do before considering that there is a loop in the simulation The tick box Activate trace of step by step
25. Computation selection the user can select the different computations to be used from the results bank Hold down the Ctrl button to select several different computations e Result to be displayed a computation often contains several results and this file tree structure is used to specify the result that the user wants to display e Information to show indicates which data are to be displayed on the y axis e For which point indicates which point of the computation is to be compared to the others e Display x axis values according to indicates which data must be displayed on the x axis e Value to be displayed finally certain extra data can be displayed min max average etc User Manual 54 72 Version 31 March 2014 6 3 Examples of curves Here are the Petri Nets from which the different curves will be drawn Component A Mort bis 4 Fate exp Lambda exo 07 Faited I Prodwedion Aro fis o Regain Start am 4E Reparation is 0 There are two components A and B U Proousctios Component D Failure exp Lambda I Pmguckon exp 0 7 Failed I Pmauction Aro fis o Reparation pets 0 e A can be repaired with a delay before repair modelled by a Dirac law transition e B can also be repaired but with no delay before repair The simulation will be carried out for 10 000 histories of 30 000 hours 6 3 1 Availability Curve 1 Curve 1 Min 2 17641E 1 Max 6 57925E 1 Mean 2 49
26. ET xi Papier Tale A Source S lection automatique m Orientation Marges millim tres Portrait Gauche 25 4 Droite 25 4 C Paysage Haut 25 4 Bas 25 4 Annuler Imprimante e The Print function allows you to export pdf document pages Graphics are exports in a vectorial format in order to scale its whithout deterioration B GRIF Fault Tree Module O Print whole document Print current page Print select Bi J icons bool o o o Sj FaultTree 1 E EventTree 1 lt _ Partially ef ected page gt GJ graphiques o J matrices Kel SafetyLoop 1 C Sj BlocDiagram 1 I EventTree 2 A Printing properties v iv m 7 Print partially selected pages Print border Print filename Print page number Print date The print window appears and user can selected pages to print and configuration e Print whole document Allows to print whole document e Print current page Allows to print the current page e Print select Allows to print the selected pages The Print partially selected pages allows you to print pages marked by a blue square e Print border Print a border on each page e Print filename Print the filename on the top left corner of each page e Print page number Print th
27. Param OOB0 Lpicomp fid 1 Lpilcomp 0 0080 D Param 0 0040 Lp2comp fid 2 Lp2coamp 0 0040 Param3 0 0020 Lp3comp id 3 Lp3comp 0 0050 The parameters whose values are not up to date are automatically detected and indicated in bold One or more of these parameters can then be selected for updating using the Update selection button Two other buttons are available to simplify the selection process Unselect all deselects all the table s parameters and Select all selects all the table s parameters Remark you can also directly copy parameter from database using menu Data and Computation Database Copy parameters from database A window is displayed you can select parameters you want to copy into document Parameter will be automatically linked to the right paremeter in database Name in databa New value scripti Dimension 0 0010 Exemple de Lamda Rate ie 2 mu om Exemple de Mu 3 Gamma 05 Exemple de Gamma Probability 4 ProdMax 1000 0 Exemple de Production max User Manual 62 712 Version 31 March 2014 8 Save Here is a summary of all the data which can be saved from a same model 8 1 Model It is obviously possible to save and reload the models which are made To do this go into menu File Save or into File Save as File F New Open Open PetriiO file Save Save as Close Ctrl F4 Save as prototype Save modification made on prototype Prototypes Library amp Page layout
28. Repair rean OK WReparTeam OK false Float Production Prod MAX 100 0 Boolean RepairTeam_OK Repair Bis 0 Mame Localization Failure Fage 1 Repair_End The small Petri Net above represents the behaviour of a piece of equipment repaired by a maintenance team which is not necessarily available when the equipment fails This net has three places e Work operating place 1 e Failed failed awaiting repair place 2 e Repair being repaired place3 And three transitions e Failure failure of the equipment e Repair_Start the equipment will be repaired e Repair_End the equipment is repaired and restarts Here is how the model can be used to simulate the behaviour of a real piece of equipment 1 The Work place initially contains a token and the result is that the Failure transition is the only transition valid at the initial instant 2 It will be fired when the component fails delay fired randomly according to the exponential law assigned to this transition The effect of this will be to remove the token from the Work place and to place one in the Failed place In addition the Production variable will be reset to 0 3 Since the arrival of the token in the Failed place is not sufficient to validate the Repair_Start transition we must wait until the RepairTeam_OK variable the message input or guard to this transition becomes TRUE User Manual 2571 12 Version 31 March 2014 2 TOTAL 4 When the team of repai
29. The Fire tab allows you to select the firing law for the transition e The Default law corresponds to the normal operation of the Petri Nets the downstream places will be filled as defined in Section 2 2 2 Configuring the Arcs e The On demand fire law corresponds to the Moca RP law of the same name only one of the downstream places is filled after firing The arguments of this law are the N 1 th probabilities of happening in one of the N downstream places The last probability is computed by the computation engine by making the 1s complement see Moca RP User s Manual for more details e The On demand fire law corresponds to the Moca RP law of the same name only one of the downstream places is filled after firing The arguments of this law are the N 1 couple probability place It is possible to specify probability to go in a given place There are N 1 couple because last couple is computed by making the Is complement and using the place wich is not selected see Moca RP User s Manual for more details e The Special laws can only be used in the very special case where the computation engine has been recompiled to take account of it Cf Moca RP User s Manual User Manual 20 72 Version 31 March 2014 2 2 0 0 Guards tab Properties Name Failure Guards Failure true Parameters Functions The Guard tab consists of a code editor where you can enter one or more guard s for the transition A guard is
30. ameter 0 when they are valid In the case where several Dirac law transitions are in conflict the transitions are fired according to their priority then in chronological order of their creation on a page then in increasing order of pages This is how the simulation works when the computations are launched Remarque The transitions with zero delay of a group are fired after those of the page where this same group figures User Manual 40 72 Version 31 March 2014 To enable or disable this function go into Application Option Simulation JaGrif 4 Predicates Petri Nets Module E Transitions Local data Executables Database Language Options Graphics Automatic firing Transitions fireable before loop detection Simulation trace Path to trace Tile Unlimited histogram Display histogram transition Equiprobable classes 4 Humber of classes transition 10 Display histogram state pemo O Humber of classes state 10 3 9 Probability firing for transitions with fire on demand In simulation mode when we wish to fire a transition with fire on demand the token s must only move to a single place downstream When you click on this type of transition a window is displayed where you have to enter the probability manually it is normally a probability which is determined by a simulation Note The default value of this probability is 0 5 Entr e Random number of On Demand Fire lo s
31. ange The Selection change function is equivalent to a Replace all but only applied to the selected elements The only difference is that we must make the distinction between internal and external variables parameters e Internal variable parameter only used within the selection e External variable parameter used within the selection but also used elsewhere in the model Only the internal elements can change their name If a variable or a parameter is recognised as being external the check box in the Internal column must be selected before it can be modified The change will only affect the selected part Everything outside the selection will remain unchanged P JaGrif 4 Predicates Petri Nets Module Variables Places Transitions Parameters Intern Present name Futur name Lambda Lambda Lambda Lambda Find Replace Find Lambda _ Regular expression Replace by Lhd Replace all In the above example only the name of parameter Lambda2 will change in the Replace selection sense since it is internal to the selection A new parameter called Def2 with identical value will be created and will replace Lambda2 in the model The other parameter which is not internal will remain unchanged User Manual 30 72 Version 31 March 2014 2 TOTAL 2 6 7 Document properties Images management File Doucument properties menu enable to save information about document name versi
32. ansitions table Edit transitions tab located in the right side of the application To add one or more assignments to one or more transitions all we have to do is to select transition s to modify then do a rigth click and finally select the Add assignment menu Assignments to add are entered thanks to a code editor 2 2 3 8 Find replace on guards and assignments Once the transitions configured it is possible to perform a Find Replace operation on guards and assignments This functionality is available in the transitions table Edit transitions tab located in the right side of the application To find and replace a string in the guards and assignments of one or more transitions all we have to do is to select transition s to modify then do a rigth click and select the Find Replace menu and finally fill the following window User Manual 224 72 Version 31 March 2014 Find Replace guards and assignments Find what Replace with ce cene re e Find what string to replace e Replace with replacement string 2 3 Petri Net example rE A ia Si Edit Parameters ED f ar eal x _ Filter Float Lambda Float Prod MA 100 0 Paire exp Landaa I Prodwction Te ARR REE EERE RET EEE GETTER RA GENERA GET EMER EERE EERE EERE TATE ETE ENE TEE N Se aie J Edit ariables U Pmguctonr Poon fis a Repair tedam_ OK irre Filter Repair Stat Ca Definition Initial value 77
33. ata dimension e Test Connection Name of field containing data description 10 3 Language Language tab enables to choice language e Language Language changes are taken into account when option windows is closed Available language are French and English 10 4 Options Options tab enables to tune application behavior e Save the options of the current document as default options in the application Save options of current doc as application default options e The application manages the default options of the documents Apply the default options to the current document Apply Application options to current document User Manual 69 72 Version 31 March 2014 2 TOTAL e Delay of automatic document saving in minutes Delay of automatic document saving in minutes A null value disables automatic saving e Number of undo Specifies number of possible undo redo e Number of recent files Specifies number of files in recent files list e Window display Enables separate tables external or linked tables internal e Columns to be resized in tables Enables to specify the columns on which space will be taken for resizing e Manage new names to avoid name conflict Tries to avoid name conflict creating new objects whose name is unik when pasting for example e Add Copy suffix for copy paste If Enabled a copy suffix will be added to the name of pasted objects e Synchronize view with tables Select objects
34. ata is linked to the associated net included in the copy then the definition of the local data copy the will remain the same with respect to the net copy Dipso A Dipsoa_ 8 F Ter 1 0 1 0 1 a Failure exp Lambda l Faile l l li Bodwetion i ANERE eee etna exp Lambda U Pmdwetions 0 4 l l l l l l l F l k Repais Emi Repair Emi Fated len O74 I Failed l exp 07 J xp U I Prodaction PodhHAX fis o a Production ProdihiaX lets a ii Regain start ore Reparation Reparatii pei 0 yee a The above figure clearly shows that new local data has been created It is called Dispo_B Dispo_A is equal to the number of tokens present in place no 1 Dispo_B is equal to the number of tokens in place no 4 Note The main advantage of the local data is that of being able to perform Copy Paste and Renumber operations such as those described above 2 6 4 Ordinary Copy Paste In addition to the Copy Paste and Renumber command there is an ordinary Copy Paste function It is used to make a single copy without renumbering We thus obtain double elements which from a formal viewpoint is incorrect but which must be temporarily tolerated to simplify data entry Where possible the Copy Paste and Renumber function must be used in preference to the simple Copy Paste function to minimise the risk of errors But when it is used you must take the
35. ate system is perfect the only thing that can happen is the failure of one of the two components The operation which is of major interest is to be able to manually fire the valid transitions e choose one of the valid transitions e click left on this transition The result of this is to e remove the token from the Work place which inhibits the Failure transition e add a token in the Failed place User Manual 39 72 Version 31 March 2014 2 TOTAL In the example given that the Boolean variable RepairTeam_OK is initially TRUE the Repair_Start transition of the component which failed that on the left will be valid As for the other component its Failure transition will remain valid Prodhi k es 40 0 Prodhtex_B 100 0 IE Production B IE Production A j Regain or amp Repair Ema A a i Fate exp 0 7 Fated amp I Prmduodion A Pod hAX A Toks 7 1 Pmducdion 8 Pod HAX B Toks 0 Rena reani Oe hue RepaiTeam_ Oe he pene art A HE dart B x S ei Tai OK op S eB Ta OK l RepaiTeam_ON false l RepaiTeam_ON false r Reparation A ie eee Reparation 8 Production _A Toks 0 Toks 0 0 0 Pouchon A H nauchio amp k Peoduction 1001 0 Repa 3 8 Automatic firing of transitions with zero delay The automatic firing of the transitions in simulation mode automatically fires the transitions which have a zero delay Dirac law with par
36. ay legends Display legends under curves e Drawing zone transparency Activate curves area transparency e Graphic transparency Activate charts transparency e Title size Specifies charts title font size e Generic values size Specifies generic values font size e Point size Specifies point size on curves e Coordinates size Specifies coordinates font size e Legend size Specifies legends font size User Manual T2442 Version 31 March 2014
37. be computed in order to have same size intervals on a logarithmic scale Moreover two limits are added at minus infinity and plus infinity in order to have a chart containing every history of the simulation When limits are chosen user has to choose between left inclued or right included Nb IEC 61508 specifies left included intervals for SIL 4 3 Tables and profil of variables You can create data tables or global tables with Tables table A global table is a list of arguments which can be used in functions needing several arguments Create table i Normal table Variable profil User Manual 46 72 Version 31 March 2014 2 TOTAL When you create a global table New button you have to choose either Normal table or Profile of variable In the fisrt case the table will be one column wide in the second one the table will be two column wide Create table za A Assigment date Taken value 100 elay 1 A table for variable profiling lets you define the modifications of the value of the variable during simulation In the left column you must enter a date beginning with 0 and in the right one enter value that will be assigned to the variable at this date For a good profiling the last date must be greater than history duration In order to be sure that this date is greater your are advised to use the following formula delay 1 wich return history duration 1 Then you need to create a PetriNet
38. be obtained on any of the model s variables or combination of variables To do this a variable must be declared as observed When a variable is observed a statistic state Moca meaning is created for computation 4 1 Definition of statistic states A Statistic state is defined like an Observed variable We must initially define the statistic states we wish to observe To do this we have to edit variables from the model either thanks to the Data and computations Edit Variables menu or thanks to the Edit Variables tab Then all we have to do is to set Observed property of a variable in order to make it a statistic state Edit Variables Me BE j sol X a Intern for prototype Initial value in prototype Float __art_ 1234 0 o 1 23463 i a 9 98863 J Other li 8883222 Boolean Wars ftue te W Boolean wY Localization 4 2 Configuration of statistic states or variables Once variable is observed we have to configure them by specifying types of computations and computation times to be carried out on them To do this we have do a right clic on the variable and select Configuration of computation Computation setup for Prod Computations Histograms Types de statistiques C 4 Cumutlated time where value is not null C 2 Probability to have a not null value at t 3 Value at t C 4 Number of changes from null value to not null value between 0 and t 4 Mean value from 0 tot _ 6
39. ble to draw a line polyline or arrow the Line can be used Draw the line and edit properties of line to make an arrow User Manual 33 72 Version 31 March 2014 Color _ Arrow begin Arrow end Arrow width w jr Arrow height 2 6 15 Table Cleaning Data may not be used anymore it can be used usefull to delete every unused data To facilitate removal use Data and Computations Unused data deletion menu Unused data deletion x Following data are not used in model Parameters Lambda1 O Lambda2 Mu Select all Unselect all Select data you want to delete and click OK This window displays unused data Select data you realy yan to delete and click OK 2 6 16 Prototypes cf appendix about prototypes User Manual 34 72 Version 31 March 2014 3 Simulation interactive 3 1 Introduction One of the most important characteristics of the GRIF interface is that it allows the user to manually simulate the behaviour of the network s he has just created It is therefore easier to understand debug or explain a model When the simulation is launched transitions can be fired to understand how the model reacts to go back a stage to replay a sequence of a given event to view the status of the components the quantities of flow circulating the value of each variable etc at any time GRIF Predicates Petri Nets Modul
40. dy in the destination document which will be used 2 6 2 Copy Paste Renumber with shortcut The Copy Paste and Renumber command creates new instances 1 e new subcharts similar to the subchart copied e Same graphical structure e Same probability law e Same guards and assignments e Same labels but different places and transitions from those copied When creating a new instance it is therefore necessary to make the distinction between the places repeated internally specifically belonging to the subchart copied and the places repeated externally attached to a place not belonging to the subchart copied Only the places repeated internally must be renumbered The places repeated externally must normally not change numbers Remarque Only the shortcuts of the places present in the selection to be renumbered differentiated from the others by a double circle are actually renumbered Therefore the corresponding input shortcuts represented by small rectangles are renumbered in their turn The result is that the shortcuts on the places not belonging to the selection are not renumbered User Manual 27172 Version 31 March 2014 Regain Tean is 4 a T l I Failure eae Lambga l a Production 0 Faire eng Laide I Production 0 Repair Emi Faleg 4 exp Ot U Pmouchor PodhHAx Bis Repair Start arm Reparation eee a The above figure explicitly illustrated
41. e Example jpp File Edit Took Document Pelri Nels Data and Computations Simulation Mode Group Help Simulation tab ta a Normal 44 407 bh oldie R N f Statistic States Transitions Show simulation Places Variables i Parameters Tables i Gra 440407 bbl Prota E ID Transitions i ae 1 Failure_B 1 118 761 Wali 2 Repair Stat 3 Ej Va lid JfFailure_A stocha tic ar s EN citi IF Precucton 8 0 Failure B transition i 5 Ta Repair Erd E wp 07 i T Faded 8 RepairTeas_ OX fue Ey Valid au Historical view e a Repair Stat E D determinist aa ae RepadTeaa OR false E transition 3 _ Delay Transitions shi Reparation E 0 Repair_Start_A 131 864 758 579 Failure 890 442 2 E f gt j J Start simulation Scheduler view Fapar Temm OE Production bru 100 0 Current time 131 864 al Current cycle i line 3 2 Simulation panel The interactive simulation panel has four parts e Right at the top a toolbar groups together the functions that enable a user to start stop configure and play the simulation e Just below is a history of the fired transitions e After that is the scheduler which contains the list of the fireable transitions ranked in order of firing date e Right at the bottom a panel displays the current time and the current cycle The toolbar contains the followin
42. e upstream arc function describes part of the transition validation conditions the other part is handled by the guards cf Section 2 2 3 3 Guards tab They define the marking necessary for the upstream places to allow the transition to be fired The downstream arc function describes what happens at token transfer level when the transition is fired To input the upstream or downstream arcs 1 select one of the two corresponding icons on the symbol bar e the single arrow which is used to input only one arc at a time or e the double arrow which is used to input as many arcs as you wish 2 select a start Place respectively a Transition by clicking on it with the left mouse button 3 drag the mouse without releasing the button to the final Transition respectively the Place and release the button It is the order place gt transition or transition gt place which determines the type upstream or downstream of arc entered The result obtained is shown in the following figure Upstream arcs have been drawn between place and transition Trl then between place 2 and transition Tr2 and downstream arcs have been drawn between transition TR1 and place 2 then between transition Tr2 and place 3 etc It must be noted that unlike the Reliability Networks there are no bidirectional arcs for the Petri Nets However it is often the case that a downstream arc must be drawn User Manual 14 72 Version 31 March 20
43. e Local Dalt cesar ceceehae ona seecessccet E meetoeeadenened vaedaiears erode 15 Doles tere C OM ILS segasno enen E EROE EE E 16 2 Commo nia Hae E E a E te eeauns aera ire asacototsestdacss ten ese caciaee saseuse tase 17 22 OOM e PICO serieren ier EE andere oianeaaseuaer eases uiaonanees 17 a O OU THe NICS ases E EE 18 2 2 3 Configuring the Transitions 2 03 c1esccssevactaenanaeccnadacddantcanasaeadesecabauenecauaeiabbanhuenaineadineatoauands 18 LP E E e AE E eur taananetentanees 23 2 4 Using repeated places or shortcuts esseseeseseessssressseesssoressseeessosresssresseoressoreeseseesseeeeseoee 24 A3 Pape and oroup Manag OMEN 25 00 cansocuscdiicnetndieesysscbesaes aa aiaa 25 L0 Paa UL AdE eredera o EO E EEEE E 26 20 1 Copy Paste Remumber without SHOMCUl sssiisiiiirsiisrrssisestsrieride ratia ntinnn iiaeia teant aiiai 26 2 6 2 Copy Paste Renumber with shortcut sssenssesnesssessssessssressssresssressssressseeessoresseeee 21 2 6 3 Copy Paste Renumber with local data si cc c0cinedecdecxsgiiaceenoteds sendecdsansoecdecwageiediendiedes vedas 28 DO A Ordinary Copy Paste casanaccascanaconcharaccascasmonneaenacnssdecconnanand ii iar E in EREA i EE ikari 29 26 5 O aa A e A oeeeuneceasanenteenaeas 29 Zo a e eon e a E r O 30 2 6 7 Document properties Images management ccc cc ee ce eee ee nce eeeeeeeeeeeceeeaenseaenseeeaenneas 31 DO A N a E EE O 32 202 N o E OI peee E baasentose isan aaueneaeee
44. e curve display e Type of style specifies the type of all the curves on the graph line histogram etc N B In the case of a histogram the bars that exceed the display area will be displayed in shading to show the user that s he must change the display intervals so that the entire bar can be displayed e Intervals defines the display limits for the curve Automatic without peak the graph will not display the peaks of specific cases of exceptional values which would make the graph illegible Even if the peaks are not displayed on the graph the user can display their values using the choices proposed in the option Display peak values e X and Y intervals specification of the display interval on the X and Y axes default intervals or intervals defined by the user The last function enables users to zoom in on the most interesting parts of the graph e The axis unit can be selected according to the type of computation result For example for units of time the user can enter hours days months or years The button determines whether or not the unit is displayed on the graph e The log boxes are used to activate the logarithmic scale on the axis in question N B 0 cannot be represented on a log scale remember to enter a start value that is strictly positive e g E 10 If O is entered the log scale will begin at an arbitrary value E 15 Where the computation engine allows the trust interval can be displayed by ticking the correspondi
45. e page name and number on the bottom of each page e Print date Print the date on the top right corner of each page User Manual 67 72 Version 31 March 2014 2 TOTAL e The Save in RTF file function initially gives access to a window called Printing properties Then to another called Information And thirdly a window is displayed allowing you to choose the folder in which the RTF Printing properties xi v Print border file is to be saved Print filename is Print page number Is S Print date Cancel When you select the Save in RTF file function the first box to appear is that shown above You can then select your preference Print border Print filename Print page number and or Print date Information xi v Print current view _ Print current page Print whole document out mon Secondly an Information window appears It allows you to indicate whether you wish to print the current view print the current page or print the whole document User Manual 68 72 Version 31 March 2014 2 TOTAL 10 Options of GRIF Petri Nets with predicates Tools Application Options menu opens a window containing the following tabs 10 1 Executables Executables tab enables to specify path to external executables e Editor path Specifies text editor path e Mail client Enable you to set the mail client to use e Automatically open PDF files Specifies i
46. e time before loop detection 5 2 Reading the results New GUI Since GRIF 2010 results are displayed in a windows with many tabs and tables 5 2 1 Moca Results Moca results atre displayed in a window containing 6 main tabs variables places transitions XML stantard output info 5 2 1 1 Tab of Variables The Variables tab contains every information computed for each variable or statistical state e Value Contains every value of a variable for every type of statistic e History at the end of histories contains historical values for each computed statitic e Fixed size Histogram Contains histograms computed by Moca cf chapter about histograms e Equiprobable classes Histogram Contains histograms computed by Moca cf chapter about histograms e User defined Histogram Contains histograms computed by Moca cf chapter about histograms e Timeline Contains a timeline for each variable Times are automatically computed by Moca 5 2 1 2 Tab of Places It contains sojourn duration and mean mark for each place of Petri Net 5 2 1 3 Tab of Transitions It contains firing frequencies for each transition and firing history for each history User Manual 49 72 Version 31 March 2014 2 TOTAL 5 2 1 4 Other tabs Other tabs display raw results XML tab contains XML output of Moca it is the file used to retrieve data This file can be used for further post threatments Standard output display the standard outpu
47. er Name domain initial value etc Local data Properties Field Value Domain loat F Intern for prototype Uo o E nitial value in prototype Localization Mame Localization Failure Fage 1 Localize data Note the fields where the term prototype appears are only used to create a prototype cf appended document on prototypes 2 1 5 Entering Comments To add a comment anywhere on the chart click the pencil icon and place yourself on a point in the graphical input zone The Comment dialogue box opens where you can enter the desired comment User Manual 16 72 Version 31 March 2014 2 TOTAL Note Character is a reserved character it must be type twice in order to display k z Comment his is the 1st part ofthe system Pia eis a 2 2 Configuring the Elements All the graphical elements can normally be edited with a double click on them or using the Edit Properties menu or using the shortcut Alt Enter 2 2 1 Configuring the Places The various place parameters are entered as follows e Select the place using the right mouse button A small panel then opens containing three fields to be filled in e Enter the place Name optional but highly recommended This description is PH by default e Where necessary change carefully the place Number Other safer methods are described below e Enter the number of Tokens initially present in the place in question T
48. f PDF reports must be opened with generation e Style sheet from XML to DocBook Style sheet allowing converting from XML report to docbook file e Style sheet from XML to HTML Style sheet allowing converting from XML report to HTML file e Style sheet from DocBook to PDF Style sheet allowing converting from docbook file to PDF file e Moca RPC path Specifies path of Moca 10 10 2 Database Database tab enables to configure database connection e Use DataBase connection for parameters Select if database must be use e Name Database name will be put into parameter during its update It enables to know from which database parameter has been lastly updated e JDBC Driver Enter name of JDBC driver to be _ used sun jdbc odbc JdbcOdbcDriver oracle jdbc driver OracleDriver e Connection to database Database Url e Connection options Connection properties e Login Login to be used to connect to database e Password Password to be used to connect to database e SQL Request Request that have to be executed to retrieve data from database e Name of ID field Name of field containing data ID e Type of ID Type of ID field INTEGER FLOAT VARCHAR 32 e Name of name field Name of field containing data name e Name of value field Name of field containing data value e Name of description field Name of field containing data description e Name of dimension field Name of field containing d
49. g 3 tokens for a weight of 3 This type of arc is graphically represented by a dotted line and does not modify the marking of the upstream place when the transition is fired e Weight 0 it is an arc which empties the corresponding upstream place when the transition is fired whatever the marking of the upstream place before it 1s fired 2 2 3 Configuring the Transitions Entering the various transition parameters is more complex than those of places since it requires a good understanding of the MOCA RP application s possibilities You are highly recommended to consult the manual at this stage of the operations Click right to select the transition concerned A dialogue window appears The top part allows you to modify the Name and ID of the transition The other part consists of 5 tabs for configuring the transition s behaviour User Manual 18 72 Version 31 March 2014 2 2 3 1 Delay tab TE Properties Number i Name k Automatic Trt i Guards Parameter s Rate A H _ Transition with memory Condition to keep memory The Delay tab indicates the transition delay law Select the desired law see the MOCA RP User s Manual and then enter the parameters of the law In this example the default law is Exponential with 1E 3 as a parameter For the parameters you can enter a value a name a parameter existing in the document or a new name In this last case the following window will appear to ask for the val
50. g functions Q Gives access to the interactive simulation mode User Manual 35 72 Version 31 March 2014 2 TOTAL Opens a simulation configuration window This point is covered in the section Section 3 5 Configuring the simulation a Goes back to initial state 4 Goes back one step Rolls back a fired transition The simulator will go back to the step before the selected transition gt Replays a step in the fired transition history Replays the fired transition history up to the selected transition p Plays the next transition in the scheduler Goes forward in the simulation to a certain time or to the firing time of a given transition The simulator will stop one step before the transition or time selected x Exits simulation mode rs Modifies simulation options during the simulation See section Section 3 5 Configuring the simulation 3 3 Simulation history The simulator contains a panel that displays the history of fired transitions The user can explore the history or take things back a step to modify the running order A right click on a transition in the history displays a contextual menu that enables the user to display hide the instantaneous transitions among other operations Go back Go forward ne 131 864 Repair _Start_A 136 966 Failure B 142 071 Repair_End_A 44 407 PUT Pit X D Transitions Time 1 Failure_B 1 118 761 2 Repai_Stan_B 718 761 __ 3 Failure_
51. his can be done manually but clicking the small black triangle is much easier User Manual 17 72 Version 31 March 2014 Note The Prototype part is only used to create prototypes see prototypes appendix ir Ea Properties Name Work Number i Prototype Intern for prototype H Initial value in prototype This is the Tst par of the system 2 2 2 Configuring the Arcs By default the Weight of all the arcs upstream and downstream is 1 However this can be modified To do this click right on the arc relevant concerned to display the editor shown below PI Properties woe ooo Clicking the small black triangle displays some possible values which can be selected with the mouse For the downstream arcs the weights are always positive and correspond to the number of tokens which will be added to the downstream place when the corresponding transition 1s fired For the upstream arcs there are three cases e Weight strictly positive these are normal arcs which validate the transition when the number of tokens in the upstream place is greater than or equal to the weight of this arc When the transition is fired a number of tokens equal to the weight of the arc will be removed from the corresponding upstream place e Weight strictly negative these are inhibitor arcs which inhibit the transition when the number of tokens in the corresponding upstream place exceeds the absolute value of the arc weight e
52. in tables on the right when they are selected in view e Synchronize view with explorer Select objects in explorer on the left when they are selected in view e Ask for configuration of observed variables Ask for computation setup when variable becomes observed 10 5 Graphics Graphics tab enables to modify GUI look e Use Windows look and feel Use the look and feel of your operating system instead of java look and feel GRIF restart is needed e Element Zoom Changes graphics size e Comment size Changes comment font size e Group size Changes group font size e Activate cross hair Activate cross hair which enables object alignment e Activate smoothing for texts Activate anti aliasing smoothing for texts it can slow the display e Activate smoothing for images Activate anti aliasing smoothing for images it can slow the display e Activate tooltips Activate tooltip system e Configuration of automatic layout Let you configure the direction of automatic layout done with F7 e Part that will be laid out Let you define if the the layout is made on upstream or downstream part when you press F7 e Draw places and transitions according IEC 62551 Draw places and transitions according IEC 62551 Transitions will be drawn depending on their law 10 6 Digital format Digital format tab enables to customize digits display e Display of parameters Specifies the display of parameters number of digits
53. ing the operating system an ODBC system data source must be created In the case of WINDOWS for example this operation is performed in menu Control Panel Administration tools data source ODBC Here is an example of an EXCEL database Cc ID NOM VALEUR DESCRIPTION DIMENSION 1Lambda 0 001 Exemple de Lamda RATE 2 Mu 0 01 Exemple de Mu RATE 3Gamma 0 5 Exemple de Gamma PROBABILITY 4ProdMax 1000 0 Exemple de Production maximum OTHER 7 2 2 Connection To connect GRIF to this ODBC database go into menu Tools Application options Database A window is then displayed which must be filled in as follows JaGrif 4 Predicates Petri Nets Module Transitions Arcs _ Local data Simulation Executables Database Language Options Graphics Places Use DataBase connection for parameters JDBC Driver sun dbe odbe JdbcOdbeDriver Connection to database jdbe odbe REX Connection options pod Login Po kes Password SOL Request bt ID NOM VALEUR DESCRIPTION FROM Feuilt J Name of ID field Type of ID Hame of name field Hame of value field VALEUR Hame of description field DESCRIPTION Test Connection Notes 1 sun jdbc odbc JdbcOdbcDriver is the driver name 2 jdbc odbc REX specifies that REX is the name of the ODBC link 3 The fields Connection options Login and Password are unnecessary here 4 SELECT ID NOM VALEUR DESCRIPTION FROM Feuil1
54. isplayed each computation contains many results Select the one you want to be drawn e Vous avez la possibilit d afficher la liste des points en sp cifiant les donn es voulues sur chacun des axes ou vous avez la possibilit d afficher les temps pass s dans les zones e Axes When a result is selected select what must be in X Axe and what must be in Y Axe e Value to be displayed Then you can display addition informations about the result min max moyenne User Manual 53 72 Version 31 March 2014 2 Tora 6 2 2 Comparative curves from data in results bank When the user clicks on Compare in the Data list section a window opens enabling the user to specify the curve to be plotted S he can then choose whether or not to display a result from several different computations The following window is used to indicate the way in which the information is to be recovered T GRIF Fault Tree Module Legend Cuve OOOO O Computation selection lambda 2 0E 4 lambda 3 0E 4 lambda 4 0E 4 lambda 5 0E 4 lambda 6 0E 4 D lambda 8 0E 4 lambda 9 0E 4 c 4 Frozen computation for curves Result to be displayed A Gates and Events GJ Probability Q Ly Andi 1 Evtt Ly Evt2 Information to show Value For which point O When the time is equal to The Dernier point 7 Display X Axis values according to Value to be displayed Minimum Maximum Average e Legend curve legend e
55. ition fire ms Delay between two automatic fire Simulation trace Enable simulation trace Path to trace file File where simulation is saved Choose the way to fire transition with on demand type Displays a dialog box when firing on demand transition Follow scheduler order for deterministic transitions Only the first deterministic transition of scheduler can be fired Choose delay of fired transitions Displays a dialog box to choose delay of fired transition Uncertainty propagation for interactive simulation If not checked the value of variable with uncertainty will be the average For example 1 5 for a unif 1 2 Unlimited histogram Enables full histogram Display histogram transition Enables to choice type of histogram for transitions Parameter nb classes nb and size of steps Specifies parameter for transition histograms User Manual TAFT Version 31 March 2014 10 12 Prototypes Prototypes tab contains options of prototypes e Verify compatibility with Stochastic bloc module Verifies compatibility of generated blocks with Stochastic bloc module e Path of the directory of the prototype library Directory where are saved prototypes of Petril2 library 10 13 Curves Charts tab enables to change charts drawing e Set graphics borders Add borders to charts e Set generic values borders Add borders to generic values under charts e Display grid Display grid on curves area e Displ
56. l 65 72 Version 31 March 2014 2 TOTAL 8 5 Curves For each curve drawn the points which have been computed in CSV format can be saved This list of points can then be used to draw new curves or to perform further computations Charts title Graph 1 Datas List gt Recompute ae A X t k S Curve illustrations Informations about datas Show Curve 1 Stat TS 2 from 0 to 10000 step 100 Curve 2 Stat2 TS from 0 to 10000 step 100 Compute options Number of stories 1 0000 Style Style type Line style v Style of curve Curve 1 Black v No point Style of curve Curve 2 Black v No point v Automatic interval Interval on X begin end Interval on Y begin end Display options Display title Display generic values _ 8 6 Tables The input tables designed for complex and elaborate computations can be imported and exported To do this go into menu Data and computations Import data or into Data and computations Export data Data and Computations Edit Tabs Edit Places Edit Variables Edit Parameters Edit Statistic States Export data Moca data Launch Moca 12 User Manual 66 72 Version 31 March 2014 9 Printing For printing you have several commands at your disposal in the File menu File e The Page setup function function allows you to choose the page orientation the size of the margins etc Mise en page
57. le to place each subpart on a different page 1 Create a new page by clicking the corresponding icon in the icon bar or use menu Tools New Page A page number 2 is thus created 2 Return to page 1 by selecting the page using the page selector in the ideographic command bar or use menu Tools Page manager Select the part to be moved Open menu Tools Change page 5 Select page 2 and click OK The part selected is transferred to page 2 but it continues to communicate with page 1 via the shortcuts e WwW Note For large models the division method described above is very useful Another possibility for entering large Petri Nets is to use the Group concept This is made possible by the shortcuts and the fact that the data is global for a document This allows quite separate subparts to be created 1 Select a subpart 2 Use menu Group Group A dialogue box then opens asking for the name to be given to the group being created 3 Enter the desired name and click OK e g System 1 The group is created the subnet is replaced by a rectangle assigned with the chosen name You can also create an empty group with Group New Group menu or group tool in the left toolbar Group 2 Group name Fis System 1 _ are eis 4 ent User Manual 25 72 Version 31 March 2014 2 TOTAL Each group can then be edited renamed or ungrouped using the commands in the Group menu The group can also be edited with
58. naneeencauxees 57 629295 Derined Interval ISO OT Ah secarei rsio rI o SA e TEE EEEE NEET EEES 57 hs MIAVAWASES arii sania sesascusdeataesosuarisiaeesseasasuneeanseeteasess 59 Tak Conme CLIO LOA VTLS eeg E A AE 59 LLI Tomor ie GAUAD ASC csceneacnctenceenecie anus E E 59 AA OM LO E E EE E E EE A E A E EE E E 59 7 2 Connection via a JDBC link example with ODBC connector cece cece eee ee ec eeeeeeeeeeeenenees 60 Tate Form Ol the AbD ASC serrera ea EEA veincon ee E A E 60 PA OE OE e E etenawache nos eaeeaee eet oan ren ae 60 WD MPC VAIO e re outta E eau E E E E E E E ER 61 Os SAY hewaaviaa cued E E N E A E A EE E A E 63 E OES E A A E A A A E E A A E A N 63 SREE TI E trent ania E E A Wand br nl EE E AA 63 O A e E E A E A E N O A E E A E 64 E i E E E E N E N EE T E E E A E N TEE E EEE 64 BG UY CS E E A E ES E E E AE E O EO A E 66 Cs DICE er E E E E E TE E A E E EEA AE OEE E 66 D MW WIMUMMO cccrcetscagsvaseuseseorecocsensccueeuvrswensess ses eecerecousenscseecessicwnrcessuy cesenauecseeposvuseriaceuresssenessereverse ores 67 10 Options of GRIF Petri Nets with predicates ccscsccscsccsccccscsscsccsccccsccccscsscccssccscsccscscees 69 Tl de MECULADICS a S E E E 69 W DD r E E A E 69 9g BA UAC o E E IEE E A TEE E T EA E E O E A A EET E EAN 69 WEO aE EE E E 69 a ra S a E maces aaa cmi eens sienna asemnnendaestauasateeuas wee euseeceadenes 70 sO TOPOL TOR a asa ccccusasscecsienceuatesnaeusde E nen ienadaonecsamaedeeua
59. nd t This is the mean number of times during a history that the statistic state changes from a zero value to a non zero value Purpose This type of computation can be used to compute the occurrence of specific events during a history 5 Mean value from 0 to t This is the mean value of the statistic state on the duration of the history Purpose Among other things used to compute the production availability Date of first affectation to a not null value This is the mean instant from which the value of the statistic state changes from zero to a value different to zero Note The uncensored data field gives the number of histories for which the simulation has been able to retrieve a value For this mean statistical result to have a meaning we must verify that a value has been retrieved for each history uncensored data number of simulated histories Purpose Used to obtain information about the mean instant when a system fails for the first time reliability computations estimation of the mean trouble free operating time etc 4 2 2 Computation times Two possibilities are available to define computation times e List of times the computations will be performed for the values of t given in this list Separator is comma e Iterate Form A to B step C the computations will be performed for values of t ranging from A to B with a step of C You can also choose is computations are made before or after transitions triggering
60. nenness 70 Oe MACOS ay aracasqus ae este E tedemuauntoandge esa sdecnsonaet EE E 70 PGBs WMS MOUS ecgeaueceasatuesccqsetenaconeuasdeomat E 70 Ds ICS a a ene naesinomsaecene ona oss eaten ns aeciaonsa sense tense sa ron cnene tna hewaseh tense oases 71 OA Eaa a E E 71 E S O e E I E 71 WD TOO a E E E cease eusensente 12 IOE OCTO oi sese nde snnnsneatosateescasciosstaiends aien sna yasaoesraes estate as auen eran iaenianaessaesaeieadeomonrencises 12 User Manual 3 72 Version 31 March 2014 1 Description of the interface 1 1 Main window of the Petri Nets with predicates module The main window is divided into several parts e Title bar The title bar shows the names of the module and file being edited e Menu bar The menu bar gives access to all the application s functions e Icon bar shortcuts The shortcut bar is an icon bar horizontal which gives faster access to the most common functions e Tool bar The tool bar vertical allows you to select the elements for modeling e Input zone A maximum amount of space has been left for the graphical input zone for creating the model e Tree A tree is hiden between input zone and tool bar It enables to walk through pages and groups of the document e Set of tables Tables are gathered in hiden tabs on the right x JaGrif 4 Predicates Petri Nets Module PPetril jpp File Edit Tools Document PetriNets Dataand Computations Mode Group Help
61. ng box e Areas distinguishes a range of values on a coloured background e In the histogram style a box can be ticked to create a cumulative histogram 5 Display options activates the Display title function display graph title and the Display generic values function display min max and average for each curve When a curve is edited the edit curve window often includes 3 parts the times at which the computations are performed what has been calculated and the extra information generic values that should or should not be displayed below the curve Comment it is sometimes necessary to refresh all the graphs in a document This can be done using the Tools Refresh command or the keyboard shortcut F5 or the T icon User Manual 52 72 Version 31 March 2014 6 2 Selection of results window 6 2 1 Curves from data in result bank When you click the Add button in the Data list part you reach a window for curves setup Each curve displays data stored in the result bank The following window helps users to specify how to retrieve data T GRIF Fault Tree Module Legend Cured Computation selection Computations default Albizia i defaultMoca B lambda Result to be displayed E Gates and Events J Probability Q Ly Andi 1 Evt1 Value to be displayed Minimum Maximum Average e Legend legend of the curve e Computation selection select the computation in the result bank e Result to be d
62. nks between several parts of the same model on different pages or in different groups e Comment to add text directly on the chart e Affichage dynamique to display the value of an element in the model e Local data create variables linked only to one part of the model e Charts to draw curves representing computations on the model e Simulation to switch to simulation mode 1 4 Data Editing Tables 1 4 1 Description of the Tables To create or modify data parameters variables etc tables are available in the Data and Computations menu and in tabs at the right of the view All the GRIF 2014 data tables operate in the same manner User Manual 8 72 Version 31 March 2014 Parameters 5 gl v Domain Name Value CondToStart Float Lambda Name Location The data editing table panel is divided into 3 parts e The top part containing the buttons e The main part containing the data table e The bottom part indicating what the selected data is used for Hl Filtrer Saves the table in a text file Opens the table in a text editor that defined in the Options Opens the column manager When the display selection button is pressed a click in the table leads to the selection in the input area Displays the data filtering part Multiple modifications made to all the selected data Creates new data Duplicate the selected data ask a new name Deletes the selected data one or many Enables data fil
63. ntegral 0 9995 0 7908 6 9271E3 0 9998 0 8858 7 7593E3 0 9998 0 8858 7 7593E3 0 9998 0 8858 7 7593E3 0 8 6178E 4 5 9562E 3 1 7411E 2 3 5833E 2 6 0916E 2 9 1849E 2 0 1276 jeudi 20 septembre 2012 13 34 45 CEST User Manual 64 72 Version 31 March 2014 2 Export entire set of results W GRIF Fault Tree Module E3 Probability Importance Factors Products with components Results Info Synthesis PR And1 0 9995 0 7908 6 9271E3 Evt1 oo ogg tC Cid 77593E3 O Evi2 oo ogge 0 8858 CC 77593E3 O Evi3 oO Frt CSNSSCCi99B 0 8858 77593E3 Pa PR Type PR Name And1 MAME Time Value 0 0 a 1E2 8 6178E 4 2E2 5 9562E 3 3E2 1 7411E 2 4E2 3 5833E 2 5E2 6 0916E 2 6E2 9 1849E 7E2 0 1 2 Save result file r Advanced report jeudi 20 septembre 2012 13 34 45 CEST Save standard output Save data sos a e Save result file saves the contents of the Results tab xml format e Advanced report generates reports using style sheets e Save standard output saves the contents of the Info tab txt format e Save engine data file saves the data file sent to the computation engine txt format e Save as XML spreadsheet 2003 XMLSS saves all the results tables in an XML format compatible with Microsoft r Excel 2003 and later versions User Manua
64. o 0 1 1 2 2 3 cf Moca User Manual for more informations We have computed number of working components at the end of histories We see that 2 components works at the end of histories most of the times Intervals corresponding to S I L can be defined in order to see in wich S I L component is for different Stories Bounds of intervals can be defined as follows e Automaticaly defined limits for SIL e Manual definition of limits separate by commas e Iteration user choose lower limit and upper limit and the size of intervals e Iteration log scale user choose lower limit and upper limit and the number of intervals Size of intervals will be computed in order to have same size intervals on a logarithmic scale Moreover two limits are added at minus infinity and plus infinity in order to have a chart containing every history of the simulation User Manual 57 72 Version 31 March 2014 2 TOTAL When limits are chosen user has to choose between left inclued or right included Nb IEC 61508 specifies left included intervals for SIL User Manual 58 72 Version 31 March 2014 Databases In each GRIF module a connection can be established to a database It is possible to have two different types of connections e connection to a CSV file e connection via a JDBC link 7 1 Connection to a CSV file 7 1 1 Form of the database This type of connection is the simplest to make A CSV file has the extension c
65. oca data Launch Moca 12 Notes a The Verify function detects any errors in the model data without values equal to NaN places with an identical number etc b The Export data function exports tables c The Import data function imports tables 7 The Mode menu switches from Input mode to Simulation mode Petri net input 2 Simulation 8 The Group menu concerns the input and management of submodels grouped into independent subassemblies The icon bar just under the menus proposes shortcuts for two of the Group commands Group Change name Ungroup _ _ SP Edit group Se Quit group edition 9 Finally the Help menu accesses the on line Help the Help topics and to About User Manual 7 72 Version 31 March 2014 2 TOTAL 1 3 Vertical Tool bar Each model used for operating safety has its own icons All the Petri Nets graphical symbols are shown on the vertical icon bar on the left of the input window D a Petri Nets oes F Select r i E Places 4 J Transitions l T Arcs only one i Arcs mann Eo T Repeated place I Comment sess i amamic display Local data Charts 1 f ai The vertical tool bar contains the following items e Places represented by circles e Transitions represented by rectangles e Upstream and downstream arcs represented by arrows e Repeated place Shortcut to create li
66. omputation 10 9 Arcs Arcs tab defines arcs display options Label size Specifies label font size Link arrow width Specifies arrow width Link arrow height Specifies arrow height Display arc weight Enables to display arcs weight or not Show arrows links to the foreground Displays the direction of links on the foreground Otherwise the arrows will be drawn behind 10 10 Local data Local data tabs enables to change local data display Label size Specifies label font size Display data name Display data name Display data domain Display domain of definition Display data definition Display variable definition Display data value Display data value 10 11 Simulation Simulation tab enables to set simulation up Automatic firing of dirac 0 Automatic firing of transition with Dirac 0 law Automatic firing when simulation starts Automatic firing of transition when simulation starts Transitions fireable before loop detection Specifies maximum number of fire before loop detection Limit duration for fast forward s Specifies the number of seconds before the detection of a loop during the fast forward Graphical Rendering of simulation Activate or not graphical rendering of simulation or each modification Keep history during fast forward It enables history saving of triggered transitions the ones automatically triggered when usingGo until time transition functions Delay between trans
67. omputation time MT The computations are stopped and the results are printed even if the requested number of histories has not been reached Note the unit of time MT is the second e Automatic history duration If this box is checked GRIF will compute history duration using computation time of variables and statistical states If not user can choose a specific History duration e Multi processors computing Enables or not the multi processor computing when available e Activate uncertainty propagation Enables or not the uncertainty propagation computations two stage simulation in this case we must specify the number of sets of parameters played the real number of histories thus simulated will be the number of sets of parameters x number of histories to be simulated and will be displayed in the Total number of histories field 4 Variables This tabs reminds comuting configuration of variables If document contains some statistical states another tab is available 5 Output used to configure the output e Prints the description of the Petri Net in the results file or not e Prints the results file allowing it to be loaded using a spreadsheet application such as EXCEL e Prints the censored delays or not e Number of outputs during simulation If 2 outputs there will be an output at NH 2 and at NH 6 Advanced options used to configure the advanced options e You can choose the limit of transitions fired at the sam
68. on comment These informations are available in General tab Document properties CAUs ersicfolleauworkspace GRIFSimunBFiabiBlocriab jbd System ATES 123R4 13 V z icfolleau WJuy20 S O 15 July 2011 Comment Images may be very useful to represent sub system GRIF 2014 enables to save images that can be used in different parts of software groupes prototypes Images management is made in Images tab Document properties x m a To add a new picture into document use icon A double click in File column enables to select an picture jpg gif or png A double click in Description column enables to give a name or a description to selected image Once in document picture can be linked to a groupe with Group Picture change menu User Manual 31 72 Version 31 March 2014 2 TOTAL Images are saved indide document pay attention to picture size Because images are inside document you have to re add picture if picture is modified erternaly 2 6 8 Alignment To improve the legibility of the model the selected elements can be aligned vertically or horizontally To do this use the Align command in the Tools menu The following figure shows how the command works For example to align selected places and transitions vertically proceed as follows 1 Select the elements places transitions comments etc to be aligned 2 Go into the Tools menu and select the Align function 3 Choose the
69. rator iterate From E To 45 Step a Computation made at t after triggering transition Times in Year s Y General Variables Output options Advanced options Number of histories 100 1st random Number E 234568 1EF Maximum calculation time sec 1000000 0 Automatic history duration History duration Multiprocessors computing _ Activate uncertainty propagation Number of tries Total number of histories Performance 94 histories minute CPU Approximative computation duration 8 Second s This configuration window 1s divided into five parts 1 Title allows you to give a title to the results file 2 Default computation times for statistic states e Iterate From A to B step C the computations will be performed for values of t ranging from A to B with a step of C e List of times the computations will be performed for the values of t given in this list e Computation made at by default computations are made immediatly after trantion triggering but you can do computation at t Epsilon just before triggering or at both User Manual 48 72 Version 31 March 2014 2 TOTAL e Unit default times unit is hour You can choose a unit that will be used for computation times N b results are always in hours 3 General e Number of histories Number of histories NH to be simulated each history has a time t indicated below e First random number It is the seed of random number generator e Maximum c
70. re use the delay which remained at the time when the transition was inhibited as the new delay before the transition is fired the transition must retain the memory of this residual delay The choice is made by selecting or not selecting the Transition with memory check box You may need to erase memory do to this you can input a condition to keep memory If this condition an expression get false the memory is lost and a new delay will be computed the next time the transition becomes valid User Manual 19 72 Version 31 March 2014 2 2 3 2 Fire tab TE Properties Number i Name k Automatic Trt Guards Priority positive for high priority otherwise negative lo F _ Prevent multiple triggers at the same time _ Equiprobable management of conflict Fire on demand Fire on demand Special laws Parameter s ee ee ee The Priority check box is used to give the transition a priority level If two transitions can be fired at a given instant the one with the higher priority will be fired first If the priority level is identical the transitions will be fired in the chronological order of their creation Since 2010 version priority can be a complex expression The Prevent multiple triggers at the same time prevents from multiple Drc 0 or IFA IPA firing without time increase The Equiprobable management of conflict provides an equiproble firing frequency of 2 or more transitions when they are in conflict
71. rers is available RepairTeam_OK message changes to TRUE then the repair will immediately start since the delay law for this transition is a Dirac law with a zero delay 5 When the Repair_Start transition is fired the token is removed from the Failed place a token is placed in the Repair place and the RepairTeam_OK message changes to FALSE meaning Repairers Unavailable Therefore if another piece of equipment fails it must wait until the team of repairers is free before it can be repaired 6 The arrival of the token in the Repair place validates the Repair_End transition which will be fired at the end of the repair delay delay fired randomly according to the exponential law assigned to this transition 7 When the Repair_End transition is fired this removes the token from the Repair place places a token in the Work place and again changes the RepairTeam_OK message to TRUE The Production variable takes the ProdMAX value 100 Therefore we have returned to the initial state and the equipment is ready for the simulation of its second failure etc We have taken exponential laws but any other type of laws could have been used e g the log normal law for the duration of the repair Also the Dirac law has enabled us to mix a deterministic phenomenon with random phenomena without hesitation Therefore although it is very simple this small model already gives an idea of the power of the Petri Nets associated with the Monte Carlo simulation
72. rodi Repaired OK hue exp d rt Production Foodie fgg Te Ow hive l Repair Stat Repair Start aT lge 77 Repaiteam_ Om kue U Repaiteam_OK false 177 Repairfean_ OK kue a RepaiTeam_OK false ry Reparation eis tl When copying to a new document any data conflicts are handled in the following window User Manual 26 72 Version 31 March 2014 Some data has same name in destination document Please manage conflict in order to paste Use data of destination document O Create a copy for each data in conflict O Manually manage conflict Source document Destination document Use existing This window shows all the data which has the same name in the source document and the destination document There are three choices 1 Use data of destination document this will replace the occurrences of the data in the source document by the data with the same name in the destination document 2 Create a copy for each data in conflict this will replace the occurrences of the data in the source document by a copy with a name with the suffix copy 3 Manually manage conflict this allows you to choose whether you use the existing data or not depending on the data You can also specify the name of the copy by double clicking on the box in the destination document column The names in this column are normally masked when the Use existing check box is selected since it is the data which is alrea
73. rve colour curve style curve thickness display average A number of different buttons are available above this table bt Selects a result of computations to display It sends the user back to the Select results window to add a curve plot to the graph see Section 6 2 1 Curves from data in result bank F l Compares several results from different calculations for the same data It sends the user to the Compare results window to add a curve plot to the graph see Section 6 2 2 Comparative curves from data in results bank e Edit edits the plot of the selected curve Delete ra deletes the plot of the curve selected on the graph Up t moves up the plot of the curve selected in the list Down moves down the plot of the curve selected in the list e Save saves the list of points calculated to plot the selected curves in csv format This export does not contain the generic values To obtain an export with the generic values right click on the curve and select Individual export e Duplicate creates a new curve identical to the curve selected Freeze me freezes the display of the curve which will no longer be updated automatically according computation results For each curve the user can specify the colour point style line thickness and display 3 Computation options enables the user to enter settings for the computation optional depending on the module 4 Style this section concerns th
74. s manager Select columns that have to be displayed and their order Last database _ Desactivate data sorting fastest ee ee You can choose the columns to be displayed by selecting or deselecting the corresponding check boxes The arrows on the right are used to move the columns up or down in the list to choose the order of the columns The Disable data sorting check box disables the data sorting This improves the application s performance with very complex models To modify data double click the box to be modified When several lines are selected using the CTRL or SHIFT keys changes can be made to all the selected data by using Multiple changes A window then opens to allow you to make these changes Multiple changes Multiple changes of Parameters Field Value Mame Value Linkedto Last database ee Items which cannot be modified are greyed The white lines indicate that the selected data does not have the same value for the field in question A new value can be entered which will be taken into account for all the selected data The lines with no background colour indicate that all the selected data has the same value for this field in this example the selected data is all Float they can be changed to give a new value to all the selected data The bottom table in the data table indicates which elements in the model use the selected data The first column of this table gives the name of these elements the
75. se arcs Select all Ctrl A Properties Alt Entr e 3 The Tools menu contains all the commands needed to manage the current model page management alignments options etc User Manual 5 72 Version 31 March 2014 Xg New Page Page manager Move to page gt amp Align left Align center Bring forward poms Align right a Send backward TE align top g View toolsBar Ei Align middle F Display state bar p Align bottom Document options Application options Connect to a CSY file A Straighten arcs 4 The Document menu gives access to all the documents being created or modified Document Next Previous HM CiBusiness JaGrif 4 06 1 Petri12 PPetrit jpp 5 The Petri Nets menu contains all the commands needed to produce the graphical part of the current model The vertical icon bar on the left of the application provides shortcuts for each of the Petri Nets commands cf vertical tool bar Petri Nets I Places J Arcs onky one J Comment i ymamic display J Charts I Simulation User Manual 6 72 Version 31 March 2014 2 TOTAL 6 The Data and Computations menu is divided into two parts data management creation and management of the different parameters and configuration computation launch computation time desired computation etc Data and Computations Edit Tabs Edit Places Edit Variables Edit Parameters Edit Statistic States Export data b M
76. simulation saves all the transitions fired during the simulation in a file The tick box Graphical rendering of the simulation enables the user to follow the step by step progress of the simulation in the model input area S he can then enter the length of time between each transition firing to slow down or speed up the simulation Other options can be modified during the simulation User Manual 37 72 Version 31 March 2014 J Automatically fire instantaneous transitions I Choose delay of fired transition lM Choose the way firing on demand is made F Follow scheduler order for deterministic transitions lM Graphical Rendering of simulation F Activate trace of step by step simulation The option Choose delay of fired transition enables the user to choose the date on which the transition will be fired applies only to stochastic transitions The option Choose the way firing on demand is made enables the user to automatically fire or not the transitions that use the firing on demand rule If the option is ticked a dialogue window will prompt you to select the location that will receive the token if this kind of transition is fired If the option Follow scheduler order for deterministic transitions is unticked it is possible to fire deterministic transitions before the date initially planned 3 6 Colour code Legend During a simulation the transitions active at a given time are displayed in specific colours according
77. sv It is a simple text file where the different fields are separated by commas tabs or semi colons It is the simplest form of database ITD NOM VALEUR DESCRIPTION DIMENSION 000001 Lambda 0 001 Exemple de Lamda RATE 000002 Mu 0 01L Exemple de Mu RATE 000003 Gamma 0 5 Exemple de Gamma PROBABILITY 000004 ProdMax 1000 0 Exemple de Production maximum OTHER 7 1 2 Connection To connect GRIF to this database go into menu Tools Connection to a CSV file A dialogue box is then displayed CSU file to be used as database 4 07 21Petrit 2 ttools Databaselrexcsy m Test Name of ID field ID Hame of name field PI fl Hame of value field VALEUR Hame of description field DESCRIPTION Separator O tab 1 l This window is divided into three parts e You must initially enter the path leading to the CSV file To do this there is an explorer available button A Test function is used to check the connection e You must then enter the names of the four fields of the CSV file e Finally specify the types of separators used in the CSV file Note A CVS connection must be made with a CVS File which means generated from only one sheet of a EXCEL File User Manual 59 72 Version 31 March 2014 2 TOTAL 7 2 Connection via a JDBC link example with ODBC connector 7 2 1 Form of the database The database can initially be in the form of an EXCEL or ACCESS file Then us
78. t of Moca available only afer computing Info tab contains usefull information about computation simulation time number of histories that have been done User Manual 50 72 Version 31 March 2014 6 Curves The curves can be drawn to study the model and the results better To do this click left on the corresponding icon on the vertical task bar then draw a box This box will be the space assigned to displaying the curve s Initially it is only a white box with two axes without graduation Charts icon We must now define the curves to be drawn To do this click right on the box to display the Charts Edit window 6 1 Edit curves window The edit curves window is the same for all the GRIF modules charts Edit x Charts title lEvts Data List kd kd e x Le Le et Ke ae Legend Information show Style mm Av Cure IPRIEvt No point 1 m _ Cuve2 PRE No point 1 E Style ve Automatic without peak Display peaks values at Last X axis unit Hour s _ LI Log Yaxisunit LI Log woes fo Display options Display tithe Display generic values Intervals eS ee E The window is divided into several sections 1 Charts title enters a title for the graph User Manual 51 72 Version 31 March 2014 2 TOTAL 2 Data list this part includes a table with several columns in which the different curves on the graph are listed name description display cu
79. tem C1 Fage 1 EA Grp EJ Sub Grp1 c Grp CI Page 2 CI Page 3 To help users to walk through the document pages groups ans sub groups a tree is available on the left of the application By default every element is displayed you can use Filter button in order to select elements you want to display or not You can expand or collapse a node in a recursive way with a right click on the node As explained for tables on the right you can hide the tree User Manual 12 72 Version 31 March 2014 2 How to create a Petri Net 2 1 Entering the Net 2 1 1 Inputting Places To input the different Places select the corresponding symbol on the symbol bar A new element is then created each time you click the mouse on the graphical input zone Each of the places in the model has three parameters 1 A number Located in the centre of the places they are automatically incremented These numbers are the true identifiers of the places which will be used by the computation engine This is why two places cannot have an identical number 2 A label A default label is assigned to each place Pli for Place number i Since each place normally has a very precise meaning for the user you are strongly recommended to assign a label which is more mnemonic than that given by default This enables you to locate yourself better in the model and in the results file 3 A number of tokens By default it is equal to zero for each place created
80. tered later directly in the parameter table Variable Parameter creation Name Lambda The Parameter editor is used to create variable defined with complex expression Creation is made with the same window as parameter editor User Manual 11 72 Version 31 March 2014 Yariable Parameter creation Type Name Count Domain Integer i Value When variable is created a double click in definition part opens code editor Code editor 0 Tools Syntactic Variables Parameters Functions i g ll Cancel The code editor has three parts The first is an editable text zone where you enter the code using Moca RP syntax Under this zone is a noneditable zone indicating any errors which may arise The third is the Tools part which is a data entry aid The Syntax button makes a syntax change The Semantics button checks the semantics The errors are displayed in the bottom left part Under the buttons there are drop down menus giving access to the model s various data Select the desired data then click the lt button to insert it in the code The Functions drop down menu shows funtions that can be used in Moca cf Moca User Manual The third menu display function that are available in MocaAdd dll for more information cf Mocal2 user manual A parameter can be transformed into variable and vice versa by right clincking on it and selectiong Change to variable ou Change to param tre 1 5 Tree view Ei MySys
81. tering or not Defines the filter to be applied to the data Filtering allows you to display only what is necessary in a table Several filtering criteria can be combined as shown below Creation of data filter ES Associate tests with AND OR Add a criteria Select AND or OR to choose the type of association between each line filter criterion A line is a Boolean expression divided into 3 parts User Manual 9 72 Version 31 March 2014 DD Torat 1 the first is the column on which the filter is used 2 the second is the comparator 3 the third is the value to which the data will be compared If the Boolean expression is true the data will be kept displayed otherwise the data will be masked When the filter is enabled its value is displayed between lt and gt The data in a column can be sorted by double clicking the header of this column The first double click will sort the data in ascending order small triangle pointing upwards The second double click on the same header will sort the column in descending order small triangle pointing downwards A table can contain many columns some columns may be unnecessary in certain cases The linked to database column is unnecessary when no database is available It is thus possible to choose the columns to be displayed and their order To do this click right on a table header or click the Columns Manager button the following window opens Column
82. to the type of transition Below are the colour codes used in the simulator panel for the transitions Color code for transitions x x Simulation stopped Transition not valid Deterministic valid transition Equiprobability valid transition Stochastic valid transition 3 Transition firing There are several ways of starting a simulation e Use the menu Mode Simulation e Click on the corresponding icon in the vertical toolbar e Click on the corresponding icon in the simulation panel toolbar User Manual 38 72 Version 31 March 2014 2 TOTAL Once the simulation mode has started the valid transitions in the initial status of the Petri net appear in the scheduler Prodvtant_A d ii Totes 7 Faire B exp Lambia U Producto amp 0 Repair End A Repair Emi r Failed A Cones Failed 8 I Produedion_A Praia i_A Tous 0 Production 8 PodkAX_E Toler 0 Aepairtoas OF hue Aepairleaa OR Aue aoe Repair Stat E 7 AeparTeaa_ OK Tr ReparTeaa_ OR N Repairioas OK rafo N ReparTean OK false Production A Production 8 Reparation A Reparation 8 0 0 Tous 0 10d Tosg In the following picture two transitions are valid at initial state There are the failure of right equipment and the failure of left equipment The two Failure transitions are valid because there is one token in their upstream place Work This simulation is the expected one at initial st
83. ue and the domain In the example Lambda is a Real Parameter invariable with value 0 001 It is also possible to use a Variable in the case of dynamic reliability F z 1 z Yariable Parameter creation Type Variable Domain Value The Transition with memory option Once the transition has been configured you still have to specify what happens when the transition is inhibited before it can effectively be fired This parameter is very important and two very different cases must be considered Case 1 When the transition is inhibited this indicates that the corresponding event can never happen e g an old component is replaced by a new one before it fails gt the old component can now never fail In this case when the transition becomes valid again it represents a new event e g failure of the new component which has nothing to do with that which was nipped in the bud before it could happen It is thus necessary to simulate a new firing delay for the transition the transition has no memory of what happened previously Case 2 When the transition is inhibited this only indicates that the corresponding event is temporarily suspended e g a component repair is stopped due to it being night time gt the repair will continue where it left off the next morning In this case when the transition becomes valid again this only means that the delay relative to the suspended event continues We must therefo
84. ws the user to edit the page dimensions directly User Manual 32 T2 Version 31 March 2014 ij Size and page zoom Width 1200 px Height a50 px Ziu Normal _ Apply on all document pages Page zooms can be modified either by using the toolbar menu Or by selecting the display and using Control mouse wheel scroll up to zoom or Control mouse wheel scroll down to zoom out The padlock on the toolbar is used to apply the zoom to the current page or to all pages in the document The zoom applies to all pages in the document r The zoom is applied only to the current page Note that if an element is selected on the page the zoom will centre the page on that element 2 6 12 Cross hair To be able to create an ordered and legible model quickly the cross hair can be used to align the different elements with each other but less accurately than the Align function in the Tools menu The cross hair is enabled or disabled in the Graphics tab of the Option menu The following picture show how to quickly align two element of the model In order to align horizontally select Align au middle which align keeping constant abscissa 2 6 13 Gluing Associating graphics When objects are where you want you can glue a set of object by right clicking and selecting Glue This command create a group a graphical one not a hierarchical one with selected objects so that moving one moves the others 2 6 14 Line To be a

GRIF 2014 Petri Nets with predicates User Manual

Contents

Download Pdf Manuals

Related Search

Related Contents