论文信息 - Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania - 字舞流文

Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania

Iwona Grobelna | Michał Grobelny

[1] Marian Adamski,et al. Design of Embedded Control Systems , 2006 .

[2] Marian Adamski,et al. Petri nets and Activity Diagrams in logic controller specification - transformation and verification , 2010, Proceedings of the 17th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2010.

[3] Tony Spiteri Staines. Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[4] Agnieszka Węgrzyn. Symboliczna analiza układów sterowania binarnego z wykorzystaniem wybranych metod analizy sieci Petriego , 2003 .

[5] E. Allen Emerson,et al. The Beginning of Model Checking: A Personal Perspective , 2008, 25 Years of Model Checking.

[6] Iwona Grobelna,et al. Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji , 2010 .

[7] René David,et al. Petri nets and grafcet - tools for modelling discrete event systems , 1992 .