beverage_production

Incidence matrix:

-1  1  1  1  0  0  0  0  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  0  0
 0  0 -1  0  0  1  0  0  0  0  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
 0  0  0  0 -1  0  0  1  0  0  0  0  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  0  0  0  0 -1  0  0  0  0  0  1  1  0  0  0  0  0  0
 0  0  0  0  0  0  0 -1 -1  1  0  0  0  0  0  0  0  0  0  0
 0  0  0  0  0  0  0  0  0 -1  1  1  0  0  0  0  0  0  0  0
 0  0  0  0  0  0  0  0  0  0 -1  0 -1  0  1  0  0  0  0  0
 0  0  0  0  0  0  0  0  0  0  0 -1  0 -1  0  1  0  0  0  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  0  0  0 -1  0  1  0  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0 -1 -1  1  0
 0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0 -1  1
 1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0 -1

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, P17, P18, P19, P20
Transitions: T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16
Initial marking: [ 10000000000000000000 ]
InterpretedName: beverage_production
InputsNumber: 13
Inputs: x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13
TransitionInputs T1: x1
TransitionInputs T2: x5
TransitionInputs T3: x7
TransitionInputs T4: x4
TransitionInputs T5: x2
TransitionInputs T6: x3
TransitionInputs T7: x13
TransitionInputs T9: !x6
TransitionInputs T9: !x8
TransitionInputs T9: !x9
TransitionInputs T12: x10
TransitionInputs T13: x11
TransitionInputs T15: x12
OutputsNumber: 13
Outputs: y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,y13
Output y1: P5
Output y2: P6
Output y3: P4
Output y4: P10
Output y5: P10
Output y6: P10
Output y7: P15
Output y8: P16
Output y9: P19
Output y10: P2
Output y11: P3
Output y12: P7
Output y13: P20
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