### Table 3. Biological modeling goals of Petri net extensions. Petri Net Available

"... In PAGE 15: ...48 The work of Genrich et al.41 is an exception to the classification shown in Table3 . In their model, the color of the tokens is associated with the concentration of the molecular species in order to make a quantitative analysis.... ..."

Cited by 6

### Table I Comparison of Petri Net models and analysis of four ACM algorithms

Cited by 1

### Table 1: An Example of Petri net reduction on 3- stage PCHB model.

2002

"... In PAGE 7: ... Our future work includes developing heuristics to guide the application of these reduction operations, thereby creating a more fully-automated reduction tool. Table1 shows the number of places/transitions in the in- put model and the percentage of places/transitions that were removed compared to the original model due to the proposed reductions. As shown in Table 1, after the proposed series of reductions, the number of places were reduced by more than half and the number of transitions were reduced by a factor of 6.... In PAGE 7: ... Table 1 shows the number of places/transitions in the in- put model and the percentage of places/transitions that were removed compared to the original model due to the proposed reductions. As shown in Table1 , after the proposed series of reductions, the number of places were reduced by more than half and the number of transitions were reduced by a factor of 6. Thus, using this model in place of its more complicated orignal model for system-level performance analysis would yield a significant run-time improvement.... ..."

Cited by 1

### Table 1: An Example of Petri net reduction on 3- stage PCHB model.

2002

"... In PAGE 7: ... Our future work includes developing heuristics to guide the application of these reduction operations, thereby creating a more fully-automated reduction tool. Table1 shows the number of places/transitions in the in- put model and the percentage of places/transitions that were removed compared to the original model due to the proposed reductions. As shown in Table 1, after the proposed series of reductions, the number of places were reduced by more than half and the number of transitions were reduced by a factor of 6.... In PAGE 7: ... Table 1 shows the number of places/transitions in the in- put model and the percentage of places/transitions that were removed compared to the original model due to the proposed reductions. As shown in Table1 , after the proposed series of reductions, the number of places were reduced by more than half and the number of transitions were reduced by a factor of 6. Thus, using this model in place of its more complicated orignal model for system-level performance analysis would yield a significant run-time improvement.... ..."

Cited by 1

### Table 1. Mapping from workflow terms to Petri-net terms

2000

"... In PAGE 2: ... However, to avoid confusion within the Petri-net community, we use the term condition instead of transition to describe places. Table1 shows the mapping from the workflow terms [WFM96] used in this paper to Petri-net related terms. For some non-standard terms a brief explanation is given.... In PAGE 2: ... In the remainder of this paper, we want to avoid mentioning the short-circuited net over and over again. For this reason, some properties of a process definition are defined (see Table1 ) on the short-circuited P/T net, while others are defined on the original P/T net. Restricted coverability graph A restricted coverability graph (RCG) is a coverability graph (CG) except for the fact that infinite states are not expanded during construction of the RCG.... ..."

Cited by 9

### Table 1: Statistics of schedulability analysis of Petri net models of JPEG and MPEG codecs

### Table 4. Validation of Petri net model

2005

"... In PAGE 5: ...robability of 0.5. The keys were chosen from a uniformly distributed random variable. Table4 shows the performance results for actual execution time and Petri net simulation... ..."

Cited by 2

### Table 1. Mapping between PASTA model and Petri Net

"... In PAGE 10: ... In fact, these two types of state machines are two views of the same underlying executable state transition abstraction from two different perspectives. Actually that underlying executable state transition abstraction can be transformed to a global Petri-Net defined by the conversion rule in Table1 . That executable state transition abstraction provides a better and simpler representation than Petri-Net does but with same semantic.... ..."

### Table 1. Summary of comparisons between SPREM and Petri Nets.

"... In PAGE 6: ...428 Some comparisons between SPREM and Petri nets are summarized in Table1 based on an example Petri net for modeling of the spiral paradigm, shown in Fig. 3.... ..."

### Table 4: Meaning of Places in Petri Net Place Meaning

"... In PAGE 48: ...RRR ??? 8.3 Using Petri Nets A Petri Net model of the uncontrolled plant is shown in Figure 22, and the meaning of the places is given in Table4 below. Notice that we have modeled the system such that machine 3 loads one part at a time.... ..."