Exploiting Petri net graph to model the FSM of modulo-P counter
Jih-Fu Tu · 2005
Traditionally, thc basic abstract of a system is described by the general static machine. If we want to model the transactions of the discrctcevent system (DES), thc finite state machine model does not clearly and evidently to illustrate the state transition. For illustrating and modeling a high-performance state transition system, we can use the Petri nets (PNs) graph to replace the concepts of traditional finite state machine (FSM). In this paper, we will isue some novel kinds of elements of the Petri nct to replace the FSM, furthemore, to illustrate the state transition. In order to make the focal points stand, we give an example, in which we use the Petri net graph to illustrate the combination logic control circuit of Modulo -p counter, to prove our assumption.