Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems

2007 ◽  
pp. 355-367 ◽  
Author(s):  
Gebhard Decknatel ◽  
Roman Slovák ◽  
Eckehard Schnieder
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Protection Systems ◽  
Definition Of ◽  
High Level

scholarly journals The Definition of Extended High-level Timed Petri Nets

2006 ◽  
Vol 2 (2) ◽  
pp. 127-143 ◽  
Author(s):  
Cheng Guangming ◽  
Liao Minghong ◽  
Wu Xianghu
Keyword(s):  
Petri Nets ◽  
Timed Petri Nets ◽  
Definition Of ◽  
High Level

scholarly journals Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

2015 ◽  
Vol 15 (4) ◽  
pp. 27-41
Author(s):  
Changyou Zheng ◽  
Yi Yao ◽  
Song Huang ◽  
Zhengping Ren
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Petri Net ◽  
Daily Life ◽  
Modeling Method ◽  
Testing Methods ◽  
Workflow Systems ◽  
Input And Output ◽  
Definition Of ◽  
Inputs And Outputs

Abstract Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs and outputs of an activity can be modeled as places. After the modeling method for I/O constrained workflow net into the I/O_WF_Net model is described, the corresponding transforming algorithm and its simplifying method are given.

scholarly journals Coloured Petri Nets: A High Level Language for System Design and Analysis

1993 ◽  
Vol 19 (338) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Human Beings ◽  
High Level Language ◽  
Design Specification ◽  
Computer Tools ◽  
Simulation Validation ◽  
Definition Of ◽  
High Level

This paper describes how Coloured Petri Nets (CP-nets) have been developed - from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). First CP-nets are introduced by means of a small example and a formal definition of their structure and behaviour is presented. Then we describe how to extend CP-nets by a set of hierarchy constructs (allowing a hierarchical CP-net to consist of many different subnets, which are related to each other in a formal way). Next we describe how to analyse CP-nets, how to support them by various computer tools, and we also describe some typical applications. Finally, a number of future extensions are discussed (of the net model and the supporting software).

Europe

2020 ◽  
pp. 649-666
Author(s):  
Andrea Renda
Keyword(s):  
Artificial Intelligence ◽  
Digital Technology ◽  
Policy Framework ◽  
Expert Group ◽  
Ethical Guidelines ◽  
Ethical Implications ◽  
Strong Focus ◽  
Ethics Guidelines ◽  
Definition Of ◽  
High Level

This chapter assesses Europe’s efforts in developing a full-fledged strategy on the human and ethical implications of artificial intelligence (AI). The strong focus on ethics in the European Union’s AI strategy should be seen in the context of an overall strategy that aims at protecting citizens and civil society from abuses of digital technology but also as part of a competitiveness-oriented strategy aimed at raising the standards for access to Europe’s wealthy Single Market. In this context, one of the most peculiar steps in the European Union’s strategy was the creation of an independent High-Level Expert Group on AI (AI HLEG), accompanied by the launch of an AI Alliance, which quickly attracted several hundred participants. The AI HLEG, a multistakeholder group including fifty-two experts, was tasked with the definition of Ethics Guidelines as well as with the formulation of “Policy and Investment Recommendations.” With the advice of the AI HLEG, the European Commission put forward ethical guidelines for Trustworthy AI—which are now paving the way for a comprehensive, risk-based policy framework.

scholarly journals Shape Sensing of a Complex Aeronautical Structure with Inverse Finite Element Method

Sensors ◽  
2021 ◽  
Vol 21 (4) ◽  
pp. 1388
Author(s):  
Daniele Oboe ◽  
Luca Colombo ◽  
Claudio Sbarufatti ◽  
Marco Giglio
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Boundary Conditions ◽  
Strain Field ◽  
Element Analysis ◽  
Inverse Finite Element Method ◽  
Shape Sensing ◽  
Definition Of ◽  
High Level ◽  
Element Method

The inverse Finite Element Method (iFEM) is receiving more attention for shape sensing due to its independence from the material properties and the external load. However, a proper definition of the model geometry with its boundary conditions is required, together with the acquisition of the structure’s strain field with optimized sensor networks. The iFEM model definition is not trivial in the case of complex structures, in particular, if sensors are not applied on the whole structure allowing just a partial definition of the input strain field. To overcome this issue, this research proposes a simplified iFEM model in which the geometrical complexity is reduced and boundary conditions are tuned with the superimposition of the effects to behave as the real structure. The procedure is assessed for a complex aeronautical structure, where the reference displacement field is first computed in a numerical framework with input strains coming from a direct finite element analysis, confirming the effectiveness of the iFEM based on a simplified geometry. Finally, the model is fed with experimentally acquired strain measurements and the performance of the method is assessed in presence of a high level of uncertainty.

Sign in / Sign up

Export Citation Format

Share Document