| 이름 | 설명 |
|---|---|
| Arc | |
| ConflictSet | |
| GraphPetriNet | |
| InArc | |
| Marking | |
| MarkovModelRecorder | Description of MarkovModel. |
| MatrixPetriNet | Description of MatrixPetriNet. |
| OrdinaryPetriNetFactory | A factory for PetriNetCore.OrdinaryPetriNet instances |
| PetriNetBase | |
| PetriNetConnectionBuilder | |
| VectorExtensions |