XML format for notation of object-oriented Petri net
Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models. Executability of Petri nets predestinates them for...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Mendel University Press
2007-01-01
|
| Series: | Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis |
| Subjects: | |
| Online Access: | https://acta.mendelu.cz/55/3/0047/ |