### 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 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 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 I Comparison of Petri Net models and analysis of four ACM algorithms

Cited by 1

### 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: Petri net modeling elements Sign of Each Element Description

"... In PAGE 3: ... The basic structure of PN includes (i) a finite set of places ; (ii) a finite set of transitions ; (iii) a finite set of arcs ; and (iv) a set of tokens that define the initial markings. The signs commonly used for denoting the place , transition , arc and token are illustrated in Table1 . In essence, the arcs define the input and output functions which govern the flow of tokens from places to transitions and from transitions to places respectively.... ..."

### Table 1: Interface between the Petri Net and Troll Models

"... In PAGE 5: ... In the example, the control system commands the tra c lights to turn on the yellow light. In Table1 , the interface between the models is exemplary shown as a simple relation... ..."

### Table 1: Veri cation statistics for Petri net models of GALS architectures

2006

"... In PAGE 7: ... In order to logically synthesize a given STG, using Petrify, it is necessary to check that it is free from safeness and liveness problems. The statistics obtained after veri cation are listed in Table1 . This table presents the number of condi- tions and events generated from each of the models.... ..."

### Table 1. Incidence matrix A of the petri net in Fig. 7.

"... In PAGE 21: ... The incidence matrix A of the Petri net in Fig. 7 is listed in Table1 . Now we begin to analyze and verify the following ve cases for secure agent communication and agent migration, which show the key behaviors and properties of our models.... In PAGE 25: ... 7 by deleting two arcs: t19 to m1, and t43 to m2; adding two new transitions: t49 and t50; and adding six new arcs: l1 to t49, t49 to m1, t49 to p1, l2 to t50, t50 to m2, and t50 to p2. The incidence matrix A of the Petri net model (shown in Table1 ) is revised into A0 by updating the rows for transitions t19 and t43, and adding two new rows for transitions t49 and t50. The revisions to incidence matrix A are summarized in Table 2.... ..."

Cited by 2