bridge_semaphore

Incidence matrix:

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

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

Places: train_b_before, a_after, train_a, train_b, semaphore, b_after, common_bridge_(a), common_bridge_(b), train_a_before
Transitions: sync_before, sync_after, a_off_bridge, b_off_bridge, a_enters_bridge, b_enters_bridge
Initial marking: [ 001110000 ]
Benchmark: "Bridge_semaphore"
Description: simple train bridge example (with semaphores)
Author: R.Wisniewski@iie.uz.zgora.pl
Designed by: R.Wisniewski@iie.uz.zgora.pl
Type of benchmark: real
Date of creation: 2013
Last modification: 20.06.2013
Results:
Concurrency hypergraph (reachability set): c-exact
Sequentiality hypergraph (SM-Components set): c-exact
Target: decomposition/analysis/concurrency
Classification: Simple Net
Covered by p-invariants: TRUE
Safe: TRUE
hippo
© 2005-2018 Hippo System.
Users online: ? | Petri nets: 242