An Extended Petri Net for Modeling Batch Processes
郑锋,孙树栋,吴坚
DOI: https://doi.org/10.3321/j.issn:1003-8728.2003.02.048
2003-01-01
Abstract:A new kind of extended Petri net, which is called HyNet, is presented in this paper. The net is defined as a set of three elements (P, T, A), where P is the place set, T is the transition set and A is the arc set that connects between P and T. The HyNet has several outstanding characteristics compared with the usual Petri net. First, tokens in the HyNet are defined as instance of classes. Information about production process is integrated into token, so the structure of the HyNet will not change when the production process changes. Second, selecting rules are added into places, so the flexibility of the HyNet is increased. Third, arc variables are introduced in the HyNet. They can transmit information from token to transition. Finally, in order to avoid confusion and conflict, inciting abilities, enabling conditions, inciting actions and inciting time are introduced into the HyNet as constraints for the transitions. Based on the HyNet, a process model of a batch processes is set up. Some difficult problems related to the process model, such as the conflict among resources and the concurrence among transitions, are studied in detail, and the solutions for the problems are also given.