Inproceedings,

-liveness enforcement in Petri nets based on structural net properties.

, and .
CDC, page 4984-4989. IEEE, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews