Las Redes de Petri : en la Automática y la Informática

Silva, M.

doi:10.26754/uz.84-7288-045-1

Cited by 72 publications

(60 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…It is a class of non-autonomous Petri nets in the tradition of interpreted and synchronized Petri nets of Moalla et al [3], Manuel Silva [5], and David and Alla [4], named Input-Output Place Transition nets (IOPT) and proposed in [6]. IOPT nets get their name from the possibility to explicitly model external input and output events and signals.…”

Section: The Input Output Place Transition Net Classmentioning

confidence: 99%

Towards Statecharts to Input-Output Place Transition Nets Transformations

Pais¹,

Gomes²,

Barros³

2011

Technological Innovation for Sustainability

View full text Add to dashboard Cite

Abstract. 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.

show abstract

Section: The Input Output Place Transition Net Classmentioning

confidence: 99%

Towards Statecharts to Input-Output Place Transition Nets Transformations

Pais¹,

Gomes²,

Barros³

2011

Technological Innovation for Sustainability

View full text Add to dashboard Cite

show abstract

“…The result is a High-Level Petri nets model of the whole factory. Due to the strong mathematical background that is behind the Petri net theory, the models can formally be analyzed and validated [5][6][7]. Basically, two types of analysis can be made: the qualitative and the quantitative analysis.…”

Section: Petri Nets Theory Behind the Engineering Methods For Thementioning

confidence: 99%

Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation

Leitão

Alves

Mendes

et al. 2010

2010 IEEE International Symposium on Industrial Electronics

View full text Add to dashboard Cite

-This paper introduces an approach to decision support systems in service-oriented automation control systems, which considers the knowledge extracted from the Petri nets models used to describe and execute the process behavior. Such solution optimizes the decision-making taking into account multi-criteria, namely productive parameters and also energy parameters. In fact, being manufacturing processes typically energy-intensive, this allows contributing for a clean and saving environment (i.e. a better and efficient use of energy). The preliminary experimental results, using a real laboratorial case study, demonstrate the applicability of the knowledge extracted from the Petri nets models to support real-time decision-making systems in service-oriented automation systems, considering some energy efficiency criteria.

show abstract

“…A Petri net [39] is a mathematical tool aimed to model a wide-range of concurrent systems. Formally: Definition 1.…”

Section: Stochastic Petri Netsmentioning

confidence: 99%

Software Performance Modeling Using UML and Petri Nets

Merseguer

Campos

2004

Performance Tools and Applications to Networked Systems

View full text Add to dashboard Cite

Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as auctions or electronic commerce. Nevertheless, it is a common practice to deploy them without the expected performance. Software Performance Engineering has emerged as a discipline to complement Software Engineering research in order to address this kind of problems. In this work, we survey some recent contributions in the field of Software Performance Engineering. The approach surveyed has as main features that it uses the UML diagrams to specify the functional and performance requeriments of the system and the stochastic Petri nets formalism to analyse it.

show abstract

Las Redes de Petri : en la Automática y la Informática

Cited by 72 publications

References 0 publications

Towards Statecharts to Input-Output Place Transition Nets Transformations

Towards Statecharts to Input-Output Place Transition Nets Transformations

Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation

Software Performance Modeling Using UML and Petri Nets

Contact Info

Product

Resources

About