In: Conference proceedings for SIMS'95 Simulation Conference, Lyngby, Denmark, pages 80-84. 1995.
Abstract: Sensor arcs are extended inhibitor arcs, which can test for more than zero. By combination with other extensions, previously introduced in Petri nets, they can express primitives which otherwise have to be modelled in the graph. This complexity reduction of the graph is essential for the descriptive clarity of the model.