correction of a bug in the encodeTransition method (place-place arc => place-transition arc + transition-place arc)
adding of a method for creating a place with a marking
adding of marking for the place encoding the CIF model initial state
correction of a bug in the encodeTransition method (place-place arc => place-transition arc + transition-place arc)
adding of a method for creating a place with a marking
adding of marking for the place encoding the CIF model initial state
correction of a bug in the encodeTransition method (place-place arc => place-transition arc + transition-place arc)
adding of a method for creating a place with a marking
adding of marking for the place encoding the CIF model initial state