beverage_production_part2

Incidence matrix:

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

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

Places: P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16
Transitions: T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13
Initial marking: [ 0000000001000000 ]
InterpretedName: beverage_production_part2
InputsNumber: 13
Inputs: x1,x2,x3,x4,notx4,x5,x6,x7,notx8,notx9,notx10,x11,x12
TransitionInputs T1: x1
TransitionInputs T2: x2
TransitionInputs T3: x3
TransitionInputs T4: x4
TransitionInputs T5: x5
TransitionInputs T6: x6
TransitionInputs T7: x7
TransitionInputs T9: notx8
TransitionInputs T9: notx9
TransitionInputs T9: notx10
TransitionInputs T11: x11
TransitionInputs T12: x12
TransitionInputs T13: notx4
OutputsNumber: 13
Outputs: y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,y13
Output y1: P2
Output y2: P3
Output y3: P4
Output y4: P5
Output y5: P6
Output y6: P7
Output y7: P10
Output y8: P10
Output y9: P10
Output y10: P13
Output y11: P14
Output y11: P15
Output y12: P15
Output y13: P16
Source: Prototyping of Concurrent Control Systems Implemented in FPGA Devices
Source_www: http://hippo.iee.uz.zgora.pl
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