A graphical editor for the input-output place-transition petri net class

2007 ◽  
Author(s):  
Ricardo Nunes ◽  
Luis Gomes ◽  
Joao Paulo Barros
Keyword(s):  
Petri Net ◽  
Input Output ◽  
Graphical Editor ◽  
Output Place

Merging and Splitting Petri Net Models within Distributed Embedded Controller Design

2013 ◽  
pp. 160-183 ◽  
Author(s):  
Luis Gomes ◽  
Anikó Costa ◽  
João Paulo Barros ◽  
Filipe Moutinho ◽  
Fernando Pereira
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Code Generation ◽  
Controller Design ◽  
Output Place ◽  
Time Domains ◽  
Splitting Operation ◽  
Embedded Controller ◽  
Automatic Code ◽  
Property Verification

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).

scholarly journals Extended Hierarchical Fuzzy Interpreted Petri Net

Sensors ◽  
2021 ◽  
Vol 21 (24) ◽  
pp. 8433
Author(s):  
Michał Markiewicz ◽  
Lesław Gniewek ◽  
Dawid Warchoł
Keyword(s):  
Process Control ◽  
Petri Net ◽  
Graphical Representation ◽  
Hierarchical Modeling ◽  
Formal Description ◽  
Input Output ◽  
Precise Control ◽  
Concurrent Control ◽  
The Hierarchical Structure ◽  
Definition Of

Petri nets (PNs) have many advantages such as graphical representation, formal description, and the possibility of sequential and concurrent control. An important aspect of using PNs is hierarchical modeling, which may be provided in different ways. In this paper, a new concept and definition of the hierarchical structure for Fuzzy Interpreted Petri Net (FIPN) are proposed. The concept of macroplace with several input, output, and input-output places is introduced to the net. The functionality of the macroplace instances and the hierarchy graph are also proposed. They are implemented in a computer simulator called HFIPN-SML. In this study, FIPN is employed since it allows the use of analogue sensors directly for process control. Better visualization and more precise control are among advantages of the introduced approach.

Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

2018 ◽  
pp. 7488-7502
Author(s):  
Edelma Rodriguez-Perez ◽  
Ernesto Lopez-Mellado
Keyword(s):  
Reverse Engineering ◽  
Petri Nets ◽  
Petri Net ◽  
Discrete Event ◽  
Reactive System ◽  
Input Output ◽  
Observed Behaviour ◽  
Event Models ◽  
Identification Techniques ◽  
Current Behaviour

One of the ways to perform the reverse engineering of a reactive system is to analyse the model of such a system. However, this model could not exist or the documentation could not be updated; then a model that describes the current behaviour of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behaviour in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.

Ecore representation for extending PNML for Input-Output Place-Transition nets

2010 ◽  
Author(s):  
Filipe Moutinho ◽  
Luis Gomes ◽  
Franklin Ramalho ◽  
Jorge Figueiredo ◽  
Joao Paulo Barros ◽  
...  
Keyword(s):  
Input Output ◽  
Output Place

Modeling of the PLC Behavior in Intralogistics with Non-Autonomous Hybrid Petri-Nets

2014 ◽  
Vol 666 ◽  
pp. 349-353
Author(s):  
Lukas Kopecki ◽  
Sebastian Lauck
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Linear Acceleration ◽  
External Input ◽  
Input Output ◽  
Decentralized Systems ◽  
Control Logic ◽  
Hybrid Petri Nets

This document introduces a new kind of non-autonomous petri net for modelling decentralized systems in intralogistics controlled by PLCs. It extends the Signal Interpreted Petri Net with hybrid elements for continuous and discrete aspects to control external input-/output-events, places and transitions. It enables the modelling of continuous changes on the output places, e.g. linear acceleration of motors. After the formal model-definition, an example of one conveyor and the corresponding control-logic is given.

Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

2019 ◽  
pp. 1461-1478
Author(s):  
Edelma Rodriguez-Perez ◽  
Ernesto Lopez-Mellado
Keyword(s):  
Reverse Engineering ◽  
Petri Nets ◽  
Petri Net ◽  
Discrete Event ◽  
Reactive System ◽  
Input Output ◽  
Event Models ◽  
Identification Techniques ◽  
Current Behavior ◽  
Observed Behavior

One of the ways to perform the reverse engineering of a reactive system is to analyze the model of such a system. However, this model could not exist, or the documentation could not be updated; then a model that describes the current behavior of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behavior in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.

Sign in / Sign up

Export Citation Format

Share Document