DefaultExtensionsFactory (PetriNets)

public class DefaultExtensionsFactory
extends java.lang.Object

Constructors
Constructor and Description
`DefaultExtensionsFactory()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`PnmlArcType`	`createPnmlArcType(java.lang.String tag)`
`PnmlInitialMarking`	`createPnmlInitialMarking()`
`PnmlInscription`	`createPnmlInscription()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- DefaultExtensionsFactory
```
public DefaultExtensionsFactory()
```

public PnmlInitialMarking createPnmlInitialMarking()

public PnmlArcType createPnmlArcType(java.lang.String tag)

public PnmlInscription createPnmlInscription()

Class DefaultExtensionsFactory