onera.pmlanalyzer.pml.model.configuration
Package containing configuration PML facet of a model
Use TransactionLibrary to define transactions or scenarios and select which ones should be consider for the analysis.
Example of definition are provided in pml.examples.simpleKeystone.SimpleKeystoneTransactionLibrary
Example of selection are provided in pml.examples.simpleKeystone.SimpleKeystoneLibraryConfigurationFull