Acta Univ. Agric. Silvic. Mendelianae Brun. 2007, 55(3), 47-56 | DOI: 10.11118/actaun200755030047

XML formát pro záznam objektové Petriho sítě

Petr Jedlička
Ústav informatiky, Mendelova zemědělská a lesnická univerzita v Brně, Zemědělská 1, 613 00 Brno, Česká republika

Petriho sítě poskytují výkonné prostředky pro modelování kauzality, nedeterminismu a paralelismu v diskrétních systémech. Protože jsou ve své podstatě matematickým modelem, nabízejí teorii, která může být úspěšně využita pro verifikaci modelů. Proveditelnost Petriho sítí je předurčuje pro simulaci a rychlé prototypování. Objektové Petriho sítě představují dosti komplikovanou třídu, založenou na hierarchických a vysokoúrovňových Petriho sítích. Jejich složitost je však vyvážena jejich schopností určit významné vlastnosti modelovaného systému a zobrazit jej v grafické podobě.
V současnosti používané nástroje na modelování, simulaci a verifikaci různých variant Petriho sítí používají pro vzájemnou výměnu modelů formát jazyka PNML (Petri Net Markup Language), který však není disponován k vyjádření objektové Petriho sítě. Tento příspěvek představuje prototyp jazyka na bázi XML pro modelování paralelních objektově orientovaných systémů popsaných objektovou Petriho sítí. Jazyk, který vznikl na základech jazyka PNML, byl pojmenován OPNML (Object Petri Net Markup Language) - viz http://www.pef.mendelu.cz/~petrj/opnml.

objektová orientace, Petriho sítě, XML

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 simulation and fast prototyping. Object Petri nets represent rather complicated class, based on hierarchical and high-level Petri nets. However their complexity is balanced by their ability to identify significant characteristics of system model and to visualize it in a graphic representation.
Tools currently applied to modeling, simulation and verification of various Petri net variants use language PNML (Petri Net Markup Language) as an interchange format. However PNML is not capable of expression of object Petri net. This paper introduces prototype of XML-based language for modeling of parallel object-oriented systems described by object Petri net. This language, based on PNML, was named OPNML (Object Petri Net Markup Language).

Keywords: object orientation, Petri net, XML
Grants and funding:

Tento příspěvek vznikl v rámci řešení výzkumného záměru VZ MSM 6215648904/03/03/04.

Received: December 19, 2006; Published: November 26, 2014  Show citation

ACS AIP APA ASA Harvard Chicago IEEE ISO690 MLA NLM Turabian Vancouver
Jedlička, P. (2007). XML format for notation of object-oriented Petri net. Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 55(3), 47-56. doi: 10.11118/actaun200755030047
Share...
Download citation
  • BibTeX (.bib)
  • Bookends (.ris)
  • EasyBib (.ris)
  • EndNote (.enw)
  • EndNote 8 (.xml)
  • ISI WoS (.isi)
  • Medlars (.medlars)
  • Mendeley (.ris)
  • MODS (.xml)
  • Papers (.ris)
  • RefWorks (.txt)
  • RefManager (.ris)
  • RIS (.ris)
  • MS Word (.xml)
  • Zotero (.ris)
    • Open full article

    References

    1. BARESI, L., PEZZE, M.: Improving UML with Petri nets. In Electronic Notes in Theoretical Computer Science. Vol. 44, 2001. [online] [cit. 8. 7. 2006]. URL: Go to original source...
    2. HU, Z., SHATZ, S. M.: Mapping UML Diagrams to a Petri Net Notation for System Simulation. In Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), Ban, Canada, June 2004. [online] Poslední aktualizace 29. 6. 2004. [cit. 10. 12. 2006]. URL:
    3. JANOUŠEK, V.: Modelování objektů Petriho sítěmi. 1. vyd. Brno: VUT, 1998. 137 p. Disertační práce.
    4. MARTINÍK, I.: Metodologie tvorby objektově-orientovaných programových systémů s využitím teorie objektových Petriho sítí. 1. vyd. Ostrava: VŠB-TU, 1999. 218 s. Disertační práce.
    5. W3C - World Wide Web Consortium: Extensible Markup Language (XML) 1.0 (Fourth Edition). [online] Ver. 1.0, poslední aktualizace 29. 11. 2006. [cit. 13. 12. 2006]. URL.
    6. W3C - World Wide Web Consortium: Schema for Object-Oriented XML 2.0. [online] Ver. 2.0, poslední aktualizace 30. 7. 2004. [cit. 13. 12. 2006]. URL:
    7. WEBER, M.: Petri Net Kernel. [online] Poslední aktualizace 6. 2. 2002. [cit. 13. 12. 2006]. URL.
    8. WEBER, M.: Petri Net Markup Language [online] [cit. 2006-12-13]. URL:

    This is an open access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY NC ND 4.0), which permits non-comercial use, distribution, and reproduction in any medium, provided the original publication is properly cited. No use, distribution or reproduction is permitted which does not comply with these terms.


    Return to the content