Search

Your search keyword '"pNML"' showing total 78 results
Start Over Descriptor "pNML"
78 results on '"pNML"'

2. Formal Semantics of BPMN Process Models Using CPN.

Author

Ibrahim, Malek M.

Subjects
REENGINEERING (Management), BIG data, CLOUD computing, SEMANTICS, FORMALIZATION (Linguistics)
Abstract

Business Process Reengineering (BPR) is the reaction of enterprises to rapidly changing requirements to achieve the new goals in the best cost/time and create a new reengineered Business Process (BP). Business Process Modeling Notation (BPMN) is now the defacto BP modelling language due to rich activity and control constructs, but with possibilities to contain a bunch of semantic errors which are difficult to detect by analysts and costly to fix later. This paper proposes a mapping from BPMN to Colored Petri Nets (CPN) in order to define the formal semantics for BPMN models. This mapping is implemented as a tool that is jointly used with CPN analysis techniques to detect semantic errors in BPMN models. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

3. A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML

Author

Yuan, Cangzhou, He, Hangyu, Zhan, Panpan, Chen, Tao, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Rüdiger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Martín, Ferran, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Speidel, Joachim, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Wang, Wei, editor, Liu, Xin, editor, Na, Zhenyu, editor, Jia, Min, editor, and Zhang, Baoju, editor

Published
2020
Full Text
View/download PDF

5. MCC: A Tool for Unfolding Colored Petri Nets in PNML Format

Author

Dal Zilio, Silvano, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Janicki, Ryszard, editor, Sidorova, Natalia, editor, and Chatain, Thomas, editor

Published
2020
Full Text
View/download PDF

6. Design of High Speed 5:2 and 7:2 Compressor Using Nanomagnetic Logic

Author

Agarwal, Shantanu, Harish, G., Balamurugan, S., Marimuthu, R., Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Ghosh, Ashish, Series Editor, Rajaram, S., editor, Balamurugan, N.B., editor, Gracia Nirmala Rani, D., editor, and Singh, Virendra, editor

Published
2019
Full Text
View/download PDF

8. Pt\Co\W as a candidate for low power nanomagnetic logic.

Author

Mendisch, Simon, Žiemys, Gražvydas, Ahrens, Valentin, Papp, Ádám, and Becherer, Markus

Subjects
*PERPENDICULAR magnetic anisotropy, *ION beams, *LOGIC, *TUNGSTEN alloys, *ANISOTROPY, *GIRDERS
Abstract

Pt\Co\W multilayers are evaluated as a novel material composition for the use in perpendicular nanomagnetic logic (pNML) applications. Starting from single and bilayer stacks, the material system is explored for maximum Co thicknesses while preserving perpendicular magnetic anisotropy (PMA) as well as single-domain behavior for micrometer-sized structures. Results for single trilayers show significantly reduced saturation magnetizations when compared to Pt\Co\Pt. Anisotropy measurements reveal a comparable volume component together with substantially reduced surface contributions. The subsequent analysis of [Co 1.22 \Pt 1.45 \W X ] 2 bilayer stacks indicates the emergence of weak interlayer coupling superposed by anisotropy differences, for Tungsten thicknesses t W ⩾ 0.5 nm , not exceeding the low mT range. The impact of local anisotropy engineering on micro-magnetic test structures by means of Ga + ion beam irradiation for different stack compositions is investigated, targeting low nucleation fields and shaping hysteresis behaviors for single step switching. First operational dipole-coupled inverter structures based on a Pt\Co\Heavy-Metal system are demonstrated achieving clocking fields down to 50 mT. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

9. Extending pnml Scope: A Framework to Combine Petri Nets Types

Author

Hillah, Lom-Messan, Kordon, Fabrice, Lakos, Charles, Petrucci, Laure, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jensen, Kurt, editor, van der Aalst, Wil M., editor, Ajmone Marsan, Marco, editor, Franceschinis, Giuliana, editor, Kleijn, Jetty, editor, and Kristensen, Lars Michael, editor

Published
2012
Full Text
View/download PDF

11. XML in Formal Specification, Verification and Generation of Mobile HCI

Author

Riahi, Ines, Riahi, Meriem, Moussa, Faouzi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Jacko, Julie A., editor

Published
2011
Full Text
View/download PDF

12. PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

Author

Hillah, L. M., Kordon, F., Petrucci, L., Trèves, N., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lilius, Johan, editor, and Penczek, Wojciech, editor

Published
2010
Full Text
View/download PDF

13. Design of magnetic dipole based 3D integration nano-circuits for future electronics application.

Author

Bhoi, Bandan Kumar, Misra, Neeraj Kumar, and Pradhan, Manoranjan

Subjects
*MAGNETIC dipoles, *NANOELECTRONICS, *OPTICAL computing, *DECODERS (Electronics), *WAVE analysis
Abstract

Nano Magnetic Logic (NML) has been attracting application in optical computing, nanodevice formation, and low power. In this paper nanoscale architecture such as the decoder, multiplexer, and comparator are implemented on perpendicular-nano magnetic logic (pNML) technology. All these architectures with the superiority of minimum complexity and minimum delay are pointed. The proposed architectures have been designed using pNML in MagCAD tool, simulated with modelsim platform and correctness shown by simulation waveform. The correctness of these designs can be verified easily when Verilog code is generated from MagCAD tool. The performance of the proposed comparator towards default parameters shows the area of 2.4336 μm2 and critical path of 1.5E-7 sec. As a higher order, the realization of a 4-to-1 multiplexer in NML has also been included in this work. [ABSTRACT FROM AUTHOR]

Published
2018

14. Architectural exploration of perpendicular Nano Magnetic Logic based circuits.

Author

Garlando, U., Riente, F., Turvani, G., Ferrara, A., Santoro, G., Vacca, M., and Graziano, M.

Subjects
*LOGIC circuits, *NANOMAGNETICS, *TECHNOLOGICAL innovations, *TRANSISTORS, *COMBINATIONAL circuits
Abstract

Abstract Perpendicular NanoMagnet Logic (pNML) can be considered one of the most interesting emerging technology since it has unique features that cannot be naturally implemented with standard transistor technologies. Each device can act both as a memory and a logic circuit. Because of its intrinsic properties, this technology makes it possible to easily design 3D circuits. In this paper, we propose several complex architectures by exploiting the 3D integrability of the pNML technology. The presented circuits belong to different categories, covering both combinational and sequential circuits. Memory elements and logic circuits have been designed and simulated taking into account the technology constraints. As an absolute novelty, the first Finite State Machine based on pNML is also introduced. Highlights • Architectural exploration of perpendicular Nano Magnetic Logic (pNML) technology. • Design of combination and sequential circuits in pNML technology. • Design analysis of a pNML Random Access Memory, a 32-bit Ripple Carry Adder, a Programmable Logic Array and a FSM. • Performance analysis of the designed circuits. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

16. A pNML Compact Model Enabling the Exploration of Three-Dimensional Architectures.

Author

Turvani, G., Riente, F., Plozner, E., Vacca, M., Graziano, M., and Gamm, S. Breitkreutz-v.

Abstract

In nano magnetic logic (NML), single-domain nanomagnets enable logic operations. Binary information can be encoded thanks to its bistable magnetization. Many implementations are currently discussed in literature, among them one promising candidate is perpendicular-nano magnetic logic (pNML). It features several advantages like the controllability of the switching mechanism, the simplicity of design, and the natural predisposition of being integrated in three-dimensional (3-D) architectures. Here we show how this technology can be adopted in the design of 3-D logic architectures. Physical equations and quantities have been gathered from experimental demonstrations of pNML devices; formulas have then been fitted and implemented in VHDL (VHSIC Hardware Description Language). In this paper, we present an analysis of pNML circuits: initially a Multiplexer has been manufactured and characterized, then our compact model has been tested through simulations. Moreover, the MUX has adopted to design a generic n-bit accumulator. Our results demonstrate that the compact model makes it possible to perform fast simulations, while maintaining a fine level of accuracy. Thanks to its flexibility, novel materials, geometric variations, and other technological improvements can be easily integrated in order to be tested at circuit level. We anticipate our essay to be a starting point for the exploration of large 3-D digital circuits. [ABSTRACT FROM PUBLISHER]

Published
2017
Full Text
View/download PDF

17. Geospatially Constrained Workflow Modeling and Implementation.

Author

Zhang, Feng and Xu, Yuetong

Subjects
*CONSTRAINT programming, *WORKFLOW management systems, *PETRI nets
Abstract

With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between geographic information and workflow modeling. According to the workflow with geospatial constraints, this paper first discusses the geospatial constraints theory deeply, proposes a new concept of geospatial constraints unit, and then designs a geospatial constraint net model (GCNet). Secondly, this paper designs a new workflow model with geospatial constraints (GCWF-net) based on GCNet and workflow net (WF-net), and then analyzes some properties of the model. Finally, this paper discusses how to put GCWF-net into application practice from three aspects: extending PNML (Petri Net Markup Language) labels for GCWF-net, converting PNML to BPEL (Business Process Execution Language) and implementing BPEL. [ABSTRACT FROM AUTHOR]

Published
2016
Full Text
View/download PDF

18. A formal approach for modeling context-aware Human–Computer System.

Author

Riahi, Ines and Moussa, Faouzi

Subjects
*HUMAN-computer interaction, *CONTEXT-aware computing, *UBIQUITOUS computing, *XML (Extensible Markup Language), *PETRI nets
Abstract

Ubiquitous environments are often considered as highly dynamic environments and contextual information can change at runtime. The user interface should provide the right information for a given user considering runtime context. Such an objective can be achieved only when we deduce the user’s requirements in terms of information and present it to the user according to his current context of use. The overall objective of our research is to generate a user interface adapted to the current context of use for critical fields. This paper explores some key issues related to the architecture of context-aware applications. A formal approach for the analysis of pervasive Human–Computer System (HCS) is presented. XML Petri nets are used to model the pervasive HCS. The proposed approach is illustrated with a case study which presents a hypoglycemic diabetic patient in a “smart hospital”. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

19. Geospatially Constrained Workflow Modeling and Implementation

Author

Feng Zhang and Yuetong Xu

Subjects
geospatial constraint, workflow, petri nets, WF-net, geospatial entity, PNML, BPEL, Information technology, T58.5-58.64
Abstract

With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between geographic information and workflow modeling. According to the workflow with geospatial constraints, this paper first discusses the geospatial constraints theory deeply, proposes a new concept of geospatial constraints unit, and then designs a geospatial constraint net model (GCNet). Secondly, this paper designs a new workflow model with geospatial constraints (GCWF-net) based on GCNet and workflow net (WF-net), and then analyzes some properties of the model. Finally, this paper discusses how to put GCWF-net into application practice from three aspects: extending PNML (Petri Net Markup Language) labels for GCWF-net, converting PNML to BPEL (Business Process Execution Language) and implementing BPEL.

Published
2016
Full Text
View/download PDF

20. Development of context-aware workflow systems based on Petri Net Markup Language.

Author

Hsieh, Fu-Shiung and Lin, Jim-Bon

Subjects
*CONTEXT-aware computing, *WORKFLOW, *PETRI nets, *PROGRAMMING languages, *MEDICAL care, *INFORMATION sharing, *COMPUTER networks
Abstract

Abstract: The Petri Net Markup Language (PNML) is originally an XML-based interchange format for Petri nets. Individual companies may specify their process models in Petri nets and exchange the Petri nets with other companies in PNML. This paper aims to demonstrate the capabilities of PNML in the development of applications instead of an industrial interchange format only. In this paper, we apply PNML to develop context-aware workflow systems. In existing literature, different methodologies for the design of context-aware systems have been proposed. However, workflow models have not been considered in these methodologies. Our interests in this paper are to propose a methodology to automatically generate context-aware action lists for users and effectively control resource allocation based on the state of the workflow systems. To achieve these objectives, we first propose Petri net models to describe the workflows. Next, we propose models to capture resource activities. Finally, the interactions between workflows and resources are combined to obtain a model for the whole processes. Based on the combined model, we propose architecture to automatically generate context-aware graphical user interface to guide the users and control resource allocation in workflow systems. We demonstrate our design methodology using a health care example. [Copyright &y& Elsevier]

Published
2014
Full Text
View/download PDF

22. Architectural exploration of perpendicular Nano Magnetic Logic based circuits

Author

Mariagrazia Graziano, Marco Vacca, A. Ferrara, Fabrizio Riente, Umberto Garlando, Giovanna Turvani, and Giulia Santoro

Subjects
pNML, Computer science, EDA tools, 02 engineering and technology, 01 natural sciences, 0103 physical sciences, Electronic engineering, Nanotechnology, 3D circuits, Electrical and Electronic Engineering, MagCAD, Electronic circuit, 010302 applied physics, Digital electronics, Sequential logic, Finite-state machine, Magnetic logic, business.industry, Digital circuits, 021001 nanoscience & nanotechnology, ToPoliNano, Software, Hardware and Architecture, Logic gate, Electronic design automation, 0210 nano-technology, business, AND gate, Hardware_LOGICDESIGN
Abstract

Perpendicular NanoMagnet Logic (pNML) can be considered one of the most interesting emerging technology since it has unique features that cannot be naturally implemented with standard transistor technologies. Each device can act both as a memory and a logic circuit. Because of its intrinsic properties, this technology makes it possible to easily design 3D circuits. In this paper, we propose several complex architectures by exploiting the 3D integrability of the pNML technology. The presented circuits belong to different categories, covering both combinational and sequential circuits. Memory elements and logic circuits have been designed and simulated taking into account the technology constraints. As an absolute novelty, the first Finite State Machine based on pNML is also introduced.

Published
2018

23. Modeling by Petri Nets

Author

H. Kubátová

Subjects
Petri nets, formal models, hardware, digital design, Field Programmable Gate Array (FPGA), PNML, VHDL, Finite State Machine (FSM), Engineering (General). Civil engineering (General), TA1-2040
Abstract

One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (CPN) are presented and explained on the basis of this example. Real models of dining philosophers, a producer-consumer system and railway tracks are described.

Published
2005

24. Perpendicular nanomagnetic logic based on low anisotropy Co\Ni multilayer.

Author

Mendsich, Simon, Ahrens, Valentin, Kiechle, Martina, Papp, Adam, and Becherer, Markus

Subjects
*PERPENDICULAR magnetic anisotropy, *MAGNETIC moments, *COERCIVE fields (Electronics), *LOGIC devices, *LOGIC, *STATISTICS
Abstract

• Single domain Co\Ni nano-magnets. • Shaping SFDs via local ion irradiation. • Nanosecond clocking of Co\Ni nano-magnets. • Time-dependence of coercivity. • Ga + ion dose dependent Coercive fields of single-domain Co\Ni nano-disks. Cobalt\Nickel multilayers with low perpendicular magnetic anisotropy are optimized for the lowest achievable coercivity while retaining the highest possible total magnetic moment, still supporting single-domain states. This optimization is done to achieve a vital clock-field reduction in nanomagnetic logic devices with perpendicular magnetic anisotropy, enabling highly efficient on-chip field clocking. It is shown that sub 10 mT coercivities are achievable utilizing a Ta 2 \Pt 1.5 [Co 0.2 \Ni 0.4 x8 stack in combination with precise manipulation of the anisotropy landscape via highly localized Ga + ion irradiation, in order to control the point of domain-wall nucleation. Statistical data is used to assess the Ga + ion dose-dependent coercivity and provide a detailed insight into the overall switching-field-distributions. Nanosecond field pulsing is used to assess the time-evolution of the nucleation fields, confirmed to be following the Arrhenius model at least down to pulse lengths of 10 ns, resulting in nucleation fields more than twice as high. The obtained findings are then applied to demonstrate the first pNML logic elements fulfilling the requirements for on-chip clocking schemes. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

25. A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

Author

Mehmood, Qaiser

Subjects
Maintainability analysis, AADL, PNML, Dependability evaluation, Programvaruteknik, Software Engineering
Abstract

Context.In the context of Software Architecture, AADL (ArchitectureAnalysis and Design Language) is one of the latest standards (SAE StandardAS5506) used for analyzing and designing of architectures of software sys-tems. Dependability evaluation of an avionic system, modeled in AADL, isconducted using petri nets standard PNML (ISO standard ISO/IEC15909-2).A maintainability analysis of PNML dependability model is also con-ducted. Objectives. In this study we investigate maintainability analysis of PNMLdependability model of an avionic system designed in AADL. Structural,functional, fault-tolerance and recovery dependencies are modeled, imple-mented, simulated and validated in PNML. Maintainability analysis withrespect to ‘changeability’ factor is also conducted. Methods.This study is a semi-combination of ’case-study’ and ’implemen-tation’ research methodologies. The implementation of case-study systemis conducted by modeling the case-study system in AADL using OSATE2tool and simulating the dependability models in PNML using Wolfgangtool. PNML dependability models are validated by comparing with GSPNdependability models of previously published research. Results. As a result of this research, PNML dependability model was ob-tained. The difficulties that influenced the research in AADL Error ModelAnnex and the OSATE2 tool are also analyzed and documented. PNMLand GSPN are compared for complexity. And maintainability analysis forPNML dependability model w.r.t ‘changeability’ factor is also an outcomeof this research. This research is recommended for software testing at ar-chitecture level as a standardized way for testing the software componentsfor faults and errors and their impact on dependable components. Conclusions. We conclude that PNML is an ISO standard and is the al-ternative for GSPN for dependability. Also, AADL Error Model Annex isstill evolving and there is a need of availability of proper literature publiclyfor better understanding. Also, PNML dependability model possesses the‘changeability’ factor of maintainability analysis and therefore it is able toadapt changes in the architecture. Also, dependability factors of a softwarecan be tested at architecture level using the standards; AADL and PNML

Published
2016

27. Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

Author

Pimenta, José Eduardo Marques and Gomes, Luis

Subjects
PNML, Network-On-Chip, IOPT, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática [Domínio/Área Científica], Configurador, Wrappers
Abstract

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Published
2015

28. From SysML State Machines to Petri Nets Using ATL Transformations

Author

Rui Pais, João Paulo Barros, Luis Gomes, Universidade de Lisboa (ULISBOA), Centre of Technology and Systems (CTS), Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Escola de Superior Tecnologia e Gestão, Luis M. Camarinha-Matos, Nuno S. Barrento, Ricardo Mendonça, TC 5, and WG 5.5

Subjects
Transformation Models, MDE, Fos 2.2, Computer science, MDA, IOPT, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, PNML, Unified Modeling Language, Systems Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, Scopus, [INFO]Computer Science [cs], SysML, Petri Nets, computer.programming_language, Finite-state machine, Programming language, 020208 electrical & electronic engineering, State Machines, Petri net, Transformation language, UML, ATLAS Transformation Language, Formalism (philosophy of mathematics), 010201 computation theory & mathematics, ATL, CNAEF 481, 523, Hybrid model, computer
Abstract

Part 9: Petri Nets; International audience; The ATLAS Transformation Language (ATL) is a well-known hybrid model transformation language that allows both declarative and imperative constructs to be used in the definition of model transformations. In this paper, we present ATL transformations providing an integrated structural description of the source and target metamodels and the transformation between them. More specifically, the paper presents translation rules of Systems Modeling Language (SysML) state machines models into a class of non-autonomous Petri net models using ATL. The target formalism for the translation is the class of Input-Output Place Transition Nets (IOPT), which extends the well-known low-level Petri net class of Place/Transition Petri nets with input and output signals and events dependencies. Based on this Petri net class, a set of tools have been developed and integrated on a framework for the project of embedded systems using co-design techniques. The main goal is to benefit from the model-based attitude while allowing the integration of development flows based on SysML state machines with the ones based on Petri nets.

Published
2014

29. Towards Statecharts to Input-Output Place Transition Nets Transformations

Author

Rui Pais, João Paulo Barros, Luis Gomes, Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Instituto Politecnico de Beja, Luis M. Camarinha-Matos, TC 5, and WG 5.5

Subjects
Engineering, MDA, 02 engineering and technology, computer.software_genre, Set (abstract data type), PNML, Development (topology), Systems Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Architecture, Statecharts, Petri Nets, SysML, Input/output, Class (computer programming), business.industry, Programming language, 020207 software engineering, Process architecture, Petri net, ATL, Systems engineering, 020201 artificial intelligence & image processing, business, computer
Abstract

Part 8: Petri Nets; International audience; This paper proposes a set of procedures addressing a Model Driven Architecture approach to translate of SysML statechart models into a class of non-autonomous Petri nets. The main goal of this set of procedures is to benefit from the model-based attitude allowing the integration of development flows based on statecharts with the ones based on Petri nets.Several methodologies exist to transform statechart models into specific classes of Petri net models, which depend on the proposed goals to achieve. The target formalism for the translation is the class of Input-Output Place Transition Nets, which extends the well-known low-level Petri net class of place transition nets with input and output signals and events dependencies. With this Petri net class we aim to contribute with tools to be integrated on a framework for the project of embedded systems using co-design techniques.

Published
2011

30. Geração de código VHDL a partir de especificações IOPT PNML2VHDL

Author

Lima, Paulo Luís Gonçalves and Gomes, Luís Filipe dos Santos

Subjects
PNML, IOPT, Redes de Petri, VHDL, FORDESIGN, FPGA
Abstract

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre em Engenharia Electrotécnica e de Computadores Com o aumento da complexidade no desenvolvimento de sistemas digitais existe uma necessidade cada vez maior de novas ferramentas que associadas a metodologias, criem mecanismos de abstracção tornando o desenvolvimento mais simples e menos demorado. A utilização de Redes de Petri para a modelação de sistemas de eventos discretos e especificação de controladores digitais tem sido bastante discutida havendo no entanto uma falta de ferramentas no que respeita à implementação desses modelos quando se considera a geração automática de código. Este trabalho tem como objectivo criar regras para a geração automática de código VHDL a serem usadas por uma nova ferramenta de ajuda à implementação de projectos de sistemas síncronos controlados a eventos discretos e baseados na utilização de Redes de Petri. A ferramenta é baseada numa classe de Redes de Petri denominada Input-Output Place- Transition Petri Net (IOPT), representada através de Petri Net Markup Language (PNML). Esta classe IOPT é baseada nas redes lugar/transição e em conceitos bem estudados de Redes de Petri sincronizadas e interpretadas, permitindo a associação de sinais externos de entrada e eventos de entrada e saída a transições e a associação de sinais de saída externos a lugares e a eventos de saída. Denominada por PNML2VHDL, a ferramenta permite gerar a partir de especificações IOPT uma descrição em VHDL da rede de forma a ser automaticamente implementada, por exemplo, numa FPGA. A necessidade desta ferramenta surge após uma cuidada análise das ferramentas existentes na actualidade. A inexistência de tal ferramenta motivou a sua criação. Será, certamente,uma ferramenta da maior utilidade para projectistas e de forma particular para o projecto FORDESIGN. A ênfase da dissertação está nas regras de tradução directa que permitem a tradução do comportamento de uma Rede de Petri descrita em IOPT para uma descrição em VHDL. Na tradução usa-se o método de atribuir a cada característica do modelo em IOPT uma estrutura em VHDL predefinida a que se deu o nome de regra de tradução. Após a definição das regras de tradução, a ferramenta é validada através da realização de diversos exemplos concretos e já bens estudados na literatura existente, como é o caso do parque de estacionamento.

Published
2009

31. The petri net markup language: concepts, technology and tools

Author

Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003., Billington, Jonathon, Christensen, Soren, Van Hee, Kees, Kindler, Ekkart, Kummer, Olaf, Petrucci, Laure, Post, Reinier, Stehno, Christian, and Weber, Michael

Subjects
PNML, petri net markup language, GENETICS, MOLECULAR BIOLOGY AND BIOTECHNOLOGY, technology, petri net, interchange format
Published
2003

32. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Josefík, Martin, Kočí, Radek, Janoušek, Vladimír, and Josefík, Martin

Abstract

Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje., This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

33. Editor Objektově orientovaných Petriho sítí

Author

Kočí, Radek, Rogalewicz, Adam, Karlubík, Peter, Kočí, Radek, Rogalewicz, Adam, and Karlubík, Peter

Abstract

Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem., This bachelor thesis deals with the design and implementation of the tool, which allows to edit and simulate Object oriented Petri nets. It supports two formats of Object oriented Petri nets, PNtalk and Petri Net Markup Language. The final tool implemented in Java programming language allows to create, save and load Petri nets in these formats, as well as to remotely cooperate with the simulator and display the simulation state. The first part of this thesis is devoted to theory. Concepts associated with Object oriented Petri nets are explained in the first part. The second part describes the implementation and functionality of the implemented editing tool and the process of connecting the editor with the simulator.

34. Editor Objektově orientovaných Petriho sítí

Author

Kočí, Radek, Rogalewicz, Adam, Karlubík, Peter, Kočí, Radek, Rogalewicz, Adam, and Karlubík, Peter

Abstract

Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem., This bachelor thesis deals with the design and implementation of the tool, which allows to edit and simulate Object oriented Petri nets. It supports two formats of Object oriented Petri nets, PNtalk and Petri Net Markup Language. The final tool implemented in Java programming language allows to create, save and load Petri nets in these formats, as well as to remotely cooperate with the simulator and display the simulation state. The first part of this thesis is devoted to theory. Concepts associated with Object oriented Petri nets are explained in the first part. The second part describes the implementation and functionality of the implemented editing tool and the process of connecting the editor with the simulator.

35. Kvalitní vizualizace Petriho sítí pro publikační účely

Author

Janoušek, Vladimír, Kočí, Radek, Bednář, Drahoslav, Janoušek, Vladimír, Kočí, Radek, and Bednář, Drahoslav

Abstract

Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg., This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.

36. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Neužil, Antonín, Kočí, Radek, Janoušek, Vladimír, and Neužil, Antonín

Abstract

Tato práce pojednává o vývoji a použití grafického editoru objektově orientovaných Petriho sítích implementovaných v jazyce PNtalk. Nejprve jsou zde popsány Petriho sítě rozšiřující se s postupem času. Navazuje na ně popis objektově orientovaného paradigma. Dále je zde popsána struktura objektově orientovaných Petriho sítí v implementaci PNtalku. Dále práce uvádí popis návrhu aplikace, kde je uvedena struktura celé aplikace z několika pohledů. Hlavní motivací pro vytvoření tohoto nástroje je snaha zpřístupnit objektově orientované Petriho sítě jejich uživatelům. Aplikace byla implementována ve frameworku JavaFX a celý postup je uveden v následující kapitole spolu s testováním. Výsledek práce je prezentován v příkladech obsažených v poslední kapitole, která obsahuje i podrobný manuál pro ovládání aplikace. Výsledný nástroj ve spolupráci s PNtalk serverem dovoluje uživatelům pohodlnější práci s OOPN a jejich vizuální podobou., This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.

37. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Neužil, Antonín, Kočí, Radek, Janoušek, Vladimír, and Neužil, Antonín

Abstract

Tato práce pojednává o vývoji a použití grafického editoru objektově orientovaných Petriho sítích implementovaných v jazyce PNtalk. Nejprve jsou zde popsány Petriho sítě rozšiřující se s postupem času. Navazuje na ně popis objektově orientovaného paradigma. Dále je zde popsána struktura objektově orientovaných Petriho sítí v implementaci PNtalku. Dále práce uvádí popis návrhu aplikace, kde je uvedena struktura celé aplikace z několika pohledů. Hlavní motivací pro vytvoření tohoto nástroje je snaha zpřístupnit objektově orientované Petriho sítě jejich uživatelům. Aplikace byla implementována ve frameworku JavaFX a celý postup je uveden v následující kapitole spolu s testováním. Výsledek práce je prezentován v příkladech obsažených v poslední kapitole, která obsahuje i podrobný manuál pro ovládání aplikace. Výsledný nástroj ve spolupráci s PNtalk serverem dovoluje uživatelům pohodlnější práci s OOPN a jejich vizuální podobou., This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.

38. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Josefík, Martin, Kočí, Radek, Janoušek, Vladimír, and Josefík, Martin

Abstract

Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje., This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

39. Plánování a rozvrhování

Author

Janoušek, Vladimír, Kočí, Radek, Hefka, Lukáš, Janoušek, Vladimír, Kočí, Radek, and Hefka, Lukáš

Abstract

Diplomová práce se zabývá problematikou optimalizace plánování a rozvrhování. K tomu se využívá genetických algoritmů inspirovaných evolučním vývojem. Součástí práce je seznámení s problémem plánování a rozvrhování, genetickými algoritmy a Petriho sítěmi. Těchto znalostí bylo využito k vytvoření aplikace, která by s využitím genetických algoritmů dovedla řešit plánovací problémy a výsledné plány pak reprezentovala Časovou Petriho sítí. V závěru práce jsou prezentovány dosažené výsledky a příklady oblasti využití., This thesis deals with optimization problems of planning and scheduling. There are using genetic algorithms which are inspired by evolution process. Main work is familiar with the problem of planning and scheduling, genetic algorithm and Petri nets. This knowledge was used to create applications that would with the use of genetic algorithms was able to solve planning problems and the resulting plans would be represented the Time Petri Net. In conclusion of the this thesis are presented obtained results and examples of field use.

40. Editor Objektově orientovaných Petriho sítí

Author

Kočí, Radek, Rogalewicz, Adam, Kočí, Radek, and Rogalewicz, Adam

Abstract

Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem., This bachelor thesis deals with the design and implementation of the tool, which allows to edit and simulate Object oriented Petri nets. It supports two formats of Object oriented Petri nets, PNtalk and Petri Net Markup Language. The final tool implemented in Java programming language allows to create, save and load Petri nets in these formats, as well as to remotely cooperate with the simulator and display the simulation state. The first part of this thesis is devoted to theory. Concepts associated with Object oriented Petri nets are explained in the first part. The second part describes the implementation and functionality of the implemented editing tool and the process of connecting the editor with the simulator.

41. Demonstrace vlastností značených grafů

Author

Janoušek, Vladimír, Kočí, Radek, Janoušek, Vladimír, and Kočí, Radek

Abstract

Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí., This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.

42. Kvalitní vizualizace Petriho sítí pro publikační účely

Author

Janoušek, Vladimír, Kočí, Radek, Janoušek, Vladimír, and Kočí, Radek

Abstract

Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg., This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.

43. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Kočí, Radek, and Janoušek, Vladimír

Abstract

Tato práce pojednává o vývoji a použití grafického editoru objektově orientovaných Petriho sítích implementovaných v jazyce PNtalk. Nejprve jsou zde popsány Petriho sítě rozšiřující se s postupem času. Navazuje na ně popis objektově orientovaného paradigma. Dále je zde popsána struktura objektově orientovaných Petriho sítí v implementaci PNtalku. Dále práce uvádí popis návrhu aplikace, kde je uvedena struktura celé aplikace z několika pohledů. Hlavní motivací pro vytvoření tohoto nástroje je snaha zpřístupnit objektově orientované Petriho sítě jejich uživatelům. Aplikace byla implementována ve frameworku JavaFX a celý postup je uveden v následující kapitole spolu s testováním. Výsledek práce je prezentován v příkladech obsažených v poslední kapitole, která obsahuje i podrobný manuál pro ovládání aplikace. Výsledný nástroj ve spolupráci s PNtalk serverem dovoluje uživatelům pohodlnější práci s OOPN a jejich vizuální podobou., This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.

44. Plánování a rozvrhování

Author

Janoušek, Vladimír, Kočí, Radek, Janoušek, Vladimír, and Kočí, Radek

Abstract

Diplomová práce se zabývá problematikou optimalizace plánování a rozvrhování. K tomu se využívá genetických algoritmů inspirovaných evolučním vývojem. Součástí práce je seznámení s problémem plánování a rozvrhování, genetickými algoritmy a Petriho sítěmi. Těchto znalostí bylo využito k vytvoření aplikace, která by s využitím genetických algoritmů dovedla řešit plánovací problémy a výsledné plány pak reprezentovala Časovou Petriho sítí. V závěru práce jsou prezentovány dosažené výsledky a příklady oblasti využití., This thesis deals with optimization problems of planning and scheduling. There are using genetic algorithms which are inspired by evolution process. Main work is familiar with the problem of planning and scheduling, genetic algorithm and Petri nets. This knowledge was used to create applications that would with the use of genetic algorithms was able to solve planning problems and the resulting plans would be represented the Time Petri Net. In conclusion of the this thesis are presented obtained results and examples of field use.

45. Plánování a rozvrhování

Author

Janoušek, Vladimír, Kočí, Radek, Janoušek, Vladimír, and Kočí, Radek

Abstract

Diplomová práce se zabývá problematikou optimalizace plánování a rozvrhování. K tomu se využívá genetických algoritmů inspirovaných evolučním vývojem. Součástí práce je seznámení s problémem plánování a rozvrhování, genetickými algoritmy a Petriho sítěmi. Těchto znalostí bylo využito k vytvoření aplikace, která by s využitím genetických algoritmů dovedla řešit plánovací problémy a výsledné plány pak reprezentovala Časovou Petriho sítí. V závěru práce jsou prezentovány dosažené výsledky a příklady oblasti využití., This thesis deals with optimization problems of planning and scheduling. There are using genetic algorithms which are inspired by evolution process. Main work is familiar with the problem of planning and scheduling, genetic algorithm and Petri nets. This knowledge was used to create applications that would with the use of genetic algorithms was able to solve planning problems and the resulting plans would be represented the Time Petri Net. In conclusion of the this thesis are presented obtained results and examples of field use.

46. Demonstrace vlastností značených grafů

Author

Janoušek, Vladimír, Kočí, Radek, Janoušek, Vladimír, and Kočí, Radek

Abstract

Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí., This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.

47. Kvalitní vizualizace Petriho sítí pro publikační účely

Author

Janoušek, Vladimír, Kočí, Radek, Janoušek, Vladimír, and Kočí, Radek

Abstract

Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg., This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.

48. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Kočí, Radek, and Janoušek, Vladimír

Abstract

Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje., This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

49. Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Author

Kočí, Radek, Janoušek, Vladimír, Kočí, Radek, and Janoušek, Vladimír

Abstract

Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje., This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

50. Editor Objektově orientovaných Petriho sítí

Author

Kočí, Radek, Rogalewicz, Adam, Kočí, Radek, and Rogalewicz, Adam

Abstract

Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem., This bachelor thesis deals with the design and implementation of the tool, which allows to edit and simulate Object oriented Petri nets. It supports two formats of Object oriented Petri nets, PNtalk and Petri Net Markup Language. The final tool implemented in Java programming language allows to create, save and load Petri nets in these formats, as well as to remotely cooperate with the simulator and display the simulation state. The first part of this thesis is devoted to theory. Concepts associated with Object oriented Petri nets are explained in the first part. The second part describes the implementation and functionality of the implemented editing tool and the process of connecting the editor with the simulator.

Catalog

Books, media, physical & digital resources
See catalog results