Incidence matrix:

-1  1  1  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  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  0  1  0  1  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 -1  1  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 -1 -1  1  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 -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
Transitions: t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13
Initial marking: [ 1000000000000000 ]
InterpretedName: beverage_production_and_distribution
InputsNumber: 13
Inputs: x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,notx8_and_notx9_and_notx10
TransitionInputs t1: x1
TransitionInputs t2: x2
TransitionInputs t3: x3
TransitionInputs t4: x4
TransitionInputs t5: x5
TransitionInputs t6: x6
TransitionInputs t7: x7
TransitionInputs t9: notx8_and_notx9_and_notx10
TransitionInputs t11: x11
TransitionInputs t12: x12
TransitionInputs t13: !x4
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
Benchmark: Beverage production and distribution
Date of creation: Wed May 15 21:36:02 2019
Converted via: pnml2pnh (daniel.m.kur@gmail.com)
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242