Incidence matrix:

-1  1  1  0  0  0  0
 0  0 -1  1  0  0  0
 0  0  0 -1  1  0  0
 0  0  0  0 -1  1  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
Transitions: T1, T2, T3, T4, T5
Initial marking: [ 1000000 ]
InterpretedName: CNC_machine
InputsNumber: 5
Inputs: piv,crs,one,crd,one1
TransitionInputs T1: piv
TransitionInputs T2: crs
TransitionInputs T3: one
TransitionInputs T4: crd
TransitionInputs T5: one1
OutputsNumber: 7
Outputs: boc,co,vc,cs,cd,vo,eoc
Output boc: P1
Output co: P2
Output vc: P3
Output cs: P4
Output cd: P5
Output vo: P6
Output eoc: P7
Source: Control of a flexible manufacturing cell using signal interpreted Petri nets
Source_www: http://preserve.lehigh.edu/cgi/viewcontent.cgi?article=1842&context=etd
Designed by: weronikabarczak@gmail.com
Date of creation: 04.02.2017
Last modification: 04.07.2019
Modified by: Marcin Wojnakowski
Covered by p-invariants: TRUE
Safe: TRUE
Live: FALSE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242