input (output) arcs; m represents the current marking of
places; A is the incidence matrix and 0 m is the initial
marking of places; s is the characteristic vector of a firing
sequence which implies a string of successive marking and is
a vector corresponding to the number of firings of the
corresponding transition.