credit_procedure

Incidence matrix:

-1  1  0  0  0  0  0  0  0  0
 0 -1  1  0  0  1  0  0  0  0
 0  0 -1  1  0  0  0  0  0  0
 0  0  0 -1  1  0  0  0  0  0
 0  0  0  0  0 -1  1  0  0  0
 0  0  0  0  0  0 -1  1  0  0
 0  0  0  0  0  0  0 -1  1  0
 0  0  0  0 -1  0  0  0 -1  1

Note: columns represent places and rows represent transitions of the net.

Places: P1, P2, P3, P4, P5, P6, P7, P8, P9, P10
Transitions: T1, T2, T3, T4, T5, T6, T7, T8
Initial marking: [ 1000000000 ]
InterpretedName: credit_procedure
InputsNumber: 8
Inputs: EOCM,CCD,CCI,PP,CEC,CFI,FI,WR
TransitionInputs T1: EOCM
TransitionInputs T2: CCD
TransitionInputs T3: CCI
TransitionInputs T4: PP
TransitionInputs T5: CEC
TransitionInputs T6: CFI
TransitionInputs T7: FI
TransitionInputs T8: WR
OutputsNumber: 10
Outputs: b1,b2,b3,b4,b5,b6,b7,b8,b9,b10
Output b1: P1
Output b2: P2
Output b3: P3
Output b4: P4
Output b5: P5
Output b6: P6
Output b7: P7
Output b8: P8
Output b9: P9
Output b10: P10
Source: Simple Workflow Models
Source_www: https://www.researchgate.net/profile/Giorgio_De_Michelis/publication/229124840_Simple_Workflow_Models/links/0deec51598823a02cf000000.pdf#page=63
Designed by: weronikabarczak@gmail.com
Date of creation: 04.02.2017
Last modification: 07.02.2017
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242