Incidence matrix:

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

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

Places: Car1_move, Car2_move, Car3_move, Car1_ready, Car2_ready, Car3_ready, Car2_at_end, Car1_at_end, Car1_move_back, Car2_move_back, Car3_move_back, Car3_at_end
Transitions: GO, B1, A1, B2, B3, A3, A2, BACK
Initial marking: [ 000111000000 ]
Benchmark: _3carros
Author: University of Lisboa
Date of creation: Mon Jun 24 03:22:43 2013
Last modification: 02.07.2019
Modified by: Marcin Wojnakowski
Converted via: pnml2pnh (daniel.m.kur@gmail.com)
Classification: Marked Graphs
Covered by p-invariants: TRUE
Safe: TRUE
Live: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242