In: Proc. 1998 Int. Conf. on Application of Concurrency to System Design (CSD'98), 23-26 March 1998, Fukushima, Japan, pages 143-151. 1998.
Abstract: Although Petri nets have powerful mathematical verification ability, the state space needs to be constructed in many cases. Place capacity is the maximum number of tokens in this place for all reachable markings. This capacity can be determined by reachability analysis or place invariants. This paper proposes a method to find place capacities by using net unfolding, and compares it withe the other methods.
Keywords: Petri net unfoldings, place capacities, place invariants, reachability analysis.