Bibliographies thématiques / High-level colored time Petri nets

Littérature scientifique sur le sujet « High-level colored time Petri nets »

Auteur : Grafiati
Publié le 14 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « High-level colored time Petri nets ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "High-level colored time Petri nets"

1

Li, Xiaozhong, Yong Li, Ying Liu et Long Wang. « Genetic Expression Level Prediction Based on Extended Fuzzy Petri Nets ». International Journal of Pattern Recognition and Artificial Intelligence 31, no 10 (16 mars 2017) : 1750036. http://dx.doi.org/10.1142/s0218001417500367.

Texte intégral
Résumé :
With the advances in technique for high throughput data gathering such as microarrays, DNA sequencing machines and continuous development of human genome project, the traditional physical and chemical methods have been more difficult to meet the requests of time consuming and results accuracy. Exploring and understanding the causal relationship of complex gene regulatory networks and transforming the massive data of large-scale biological research to useful biological knowledge are the present challenge. As a result, there are two typical applications both the confidence value prediction of DNA sequence and influence degree prediction of gene expression which have become the hot issues in our daily life. In this paper, two extended fuzzy Petri nets approaches are proposed, based on the existing fuzzy Petri net model, to model and analyze for the hot issues respectively. One is the fuzzy colored Petri net, which combines fuzzy Petri net with colored Petri net to model fuzzy rule-based reasoning and determine confidence values for bases called in DNA sequence. The other is extended fuzzy Petri net, which integrates reverse reasoning into fuzzy Petri net and is proposed to model gene regulatory network. It can predict the change in expression level of target based on the input expression level of activator/repressor. Compared with the method of fuzzy Petri net, the two extended fuzzy Petri nets models perform more accurately in the following typical experiment reasoning outcomes and show that the proposed methods are feasible and available.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Fűr, Attila. « Extended knowledge attributed Petri Nets ». International Journal of Modeling, Simulation, and Scientific Computing 05, no 02 (25 février 2014) : 1350028. http://dx.doi.org/10.1142/s1793962313500281.

Texte intégral
Résumé :
Choosing the best way for describing physical reality has always been standing in focus of research. Several methodologies have been developed based on classical mathematics, or statistics and also new disciplines — such as soft-computing techniques — appeared. Petri Nets as one of the most naturalistic modeling methodologies are well suited to describe complex process in general. However in some fields of modeling the describing power of basic Petri Nets proved not to be robust enough, therefore several extensions were made to the original concept. Colored tokens (Colored Petri Nets), stochastic delayed streaming of mobile entities (Stochastic Petri Nets), object oriented architecture (Object Oriented Petri Nets), numerical (Numerical Petri Nets) and linguistic attributes (Fuzzy Petri Nets) broaden the range of capabilities. In some fields of problem solving, usage of static and mobile knowledge bases is needed: e.g., flexible manufacturing systems, or intelligent traffic simulation. These problems to be investigated involved new conceptual developments of Petri Nets and led to the introduction of Knowledge Attributed Petri Nets. At the same time distributed control in simulation appeared, intelligent agents supported the connection of mobile knowledge bases and static inference engines in an effective way. The mentioned extensions brought general support in model synthesis, but some unsolved questions remained related to the implementation of intelligent mobile entities. This paper highlights a new level of AI controlled simulation introducing the Extended Knowledge Attributed Petri Nets that offer the capability of easy implementation of mobile inference engines and knowledge base, providing general mobile AI in Petri Nets.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Szpyrka, Marcin, Jerzy Biernacki et Agnieszka Biernacka. « Tools and Methods for RTCP-Nets Modeling and Verification ». Archives of Control Sciences 26, no 3 (1 septembre 2016) : 339–65. http://dx.doi.org/10.1515/acsc-2016-0019.

Texte intégral
Résumé :
Abstract RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems. It contains a survey of software tools developed to support RTCP-nets. Verification of RTCP-nets is based on coverability graphs which represent the set of reachable states in the form of directed graph. Two approaches to verification of RTCP-nets are considered in the paper. The former one is oriented towards states and is based on translation of a coverability graph into nuXmv (NuSMV) finite state model. The later approach is oriented towards transitions and uses the CADP toolkit to check whether requirements given as μ-calculus formulae hold for a given coverability graph. All presented concepts are discussed using illustrative examples
Styles APA, Harvard, Vancouver, ISO, etc.
4

Mnaouer, A. B., K. Day, M. Al-Towaiq et F. A. Masoud. « Performance Evaluation of Database Systems Using Colored Petri Nets ». Sultan Qaboos University Journal for Science [SQUJS] 8, no 1 (1 juin 2003) : 33. http://dx.doi.org/10.24200/squjs.vol8iss1pp33-46.

Texte intégral
Résumé :
We propose Colored Petri Net (CPN) models for replicated and centralized database systems and conduct a comparative study of their performance. The designed CPN models capture the dynamics of the studied database systems and estimate their expected performance with an appropriate level of abstraction. A number of simulation experiments were performed under various load conditions of varying parameters such as server speed, network speed, and read/write ratio. The simulation results show that under similar operation conditions, replicated systems exhibit higher performance than centralized systems in terms of query response time and system saturation levels. However, centralized systems become more competitive when their network and server speeds are much higher than those of the replicated systems.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Yu, Qingkun, Liangcai Cai et Xiao Tan. « Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools ». International Journal of Aerospace Engineering 2018 (16 septembre 2018) : 1–8. http://dx.doi.org/10.1155/2018/2858375.

Texte intégral
Résumé :
The airport emergency rescue is a typical discrete event dynamic system. In this paper, we can use colored Petri net discrete event modeling technology to establish the airport emergency rescue (AER) model in the CPN tool software according to the rescue process and the rescue activities’ relationship. We draw the basic flow chart of AER and, on this basis, propose the basic algorithm of establishing an AER colored Petri net. Firstly, the Weifang Nanyuan Airport emergency rescue (WNAER) drill data is analyzed, and the time function of each activity is obtained. Then, we establish the WNAER colored Petri net model, and the simulation results are analyzed in depth. The results show that the total time is far less than the time required in the AER plan, indicating that the model is feasible for the practical work; by calculation of time of different routes, we find a key route named “Route 2,” and it is proposed to increase the number of fire engines. By changing the value of the “num” parameter, the airport adds a fire engine, and an average of 18 s shortened. The rescue time reliability can be obtained at different times; for example, the time reliability in the 963 s is 91%, indicating that the probability of completing the rescue within this time period is very high, and the time reliability in the 958 s is 1.85%, indicating that the probability of completing the rescue within this time period is very low. The research results can not only allow the airport managers to master the level of rescue forces but also guide the formulation of plans and the implementation of activities.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Orlov, Sergey P., Sergey V. Susarev et Roman A. Uchaikin. « Application of Hierarchical Colored Petri Nets for Technological Facilities’ Maintenance Process Evaluation ». Applied Sciences 11, no 11 (31 mai 2021) : 5100. http://dx.doi.org/10.3390/app11115100.

Texte intégral
Résumé :
The high reliability of modern engineering systems is achieved by performing predictive maintenance. Mathematical models based on stochastic timed colored Petri nets are an effective tool for developing complex production processes for Industry 4.0. This article discusses the maintainability evaluation used in hierarchical Petri net models. The hierarchical simulation model was built using timed colored Petri nets, and was constructed with four levels of repair and maintenance modules. New module structures are proposed for simulating the schedule of production tasks and interaction with technological units. The emphasis is on the processes of predicting maintenance and repair, moving units to service, replacing units, and forming a reserve. The design of the simulation modules allows the setting of probabilistic parameters for the distributions of equipment failures, requests for unit maintenance, repair time, and recovery time after repair. The article proposes to use the hierarchical Petri model in conjunction with solving the problem of minimizing the cost of service. The iterative procedure consists of obtaining an approximate unit distribution by tasks, subsequent simulation of the technological process, and adjusting the optimization problem constraints. For example, the hierarchical Petri net is considered to assess the maintainability of autonomous agricultural vehicles. The results of the simulation experiments are presented. A simulation of the agrotechnical production process was performed, during which vehicles were maneuvered, taken out for repair or maintenance, and returned to the reserve fund. The interdependencies of preventive maintenance periods, service operations, failure rates, and predictive maintenance requests were obtained in order to comply with the task scheduling. The proposed model is a generalization, but it is especially effective in studying mobile equipment servicing.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Aloysius, Nikolaus, Manahan Siallagan et Chao Ou-Yang. « Laboratory Performance Modeling using Petri Nets in National Standardization Agency in Indonesia ». International Journal of Management, Entrepreneurship, Social Science and Humanities 5, no 1 (29 juin 2022) : 196–209. http://dx.doi.org/10.31098/ijmesh.v5i1.985.

Texte intégral
Résumé :
Service providers perform their service to seek customer loyalty, not excluding the product testing laboratory (PTL) as it provides the testing service under National Standardization Agency (NSA) in Indonesia. Early business process observation in one PTL found that the level of work-in-progress (WIP) in some testing job shops performed significantly higher than the others which requires a further operational study. Using workflow data from the PTL, this study modeled the first-come-first-serve (FCFS) as the current scheduling algorithm, proposed an alternative scheduling algorithm, and comparatively analyze the WIP performance through simulation using colored Petri nets (CPN) as business process modeling and simulation tools. The result of this study shows that the shortest flow of processing time (SFPT) algorithm as the alternative scheduling strategy can reduce the maximum WIP level in the laboratory. Although the SFPT scheduling strategy has a relatively small impact in the single item station, the alternative strategy decreases more than one-third of the total WIP in the most complex station in the laboratory.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Bochem, Arne, et Benjamin Leiding. « Rechained : Sybil-Resistant Distributed Identities for the Internet of Things and Mobile Ad Hoc Networks ». Sensors 21, no 9 (8 mai 2021) : 3257. http://dx.doi.org/10.3390/s21093257.

Texte intégral
Résumé :
Today, increasing Internet of Things devices are deployed, and the field of applications for decentralized, self-organizing networks keeps growing. The growth also makes these systems more attractive to attackers. Sybil attacks are a common issue, especially in decentralized networks and networks that are deployed in scenarios with irregular or unreliable Internet connectivity. The lack of a central authority that can be contacted at any time allows attackers to introduce arbitrary amounts of nodes into the network and manipulate its behavior according to the attacker’s goals, by posing as a majority participant. Depending on the structure of the network, employing Sybil node detection schemes may be difficult, and low powered Internet of Things devices are usually unable to perform impactful amounts of work for proof-of-work based schemes. In this paper, we present Rechained, a scheme that monetarily disincentivizes the creation of Sybil identities for networks that can operate with intermittent or no Internet connectivity. We introduce a new revocation mechanism for identities, tie them into the concepts of self-sovereign identities, and decentralized identifiers. Case-studies are used to discuss upper- and lower-bounds for the costs of Sybil identities and, therefore, the provided security level. Furthermore, we formalize the protocol using Colored Petri Nets to analyze its correctness and suitability. Proof-of-concept implementations are used to evaluate the performance of our scheme on low powered hardware as it might be found in Internet of Things applications.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Petrosyan, G. R., L. A. Ter-Vardanyan et A. V. Gaboutchian. « MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS ». ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XL-5/W6 (18 mai 2015) : 37–42. http://dx.doi.org/10.5194/isprsarchives-xl-5-w6-37-2015.

Texte intégral
Résumé :
In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri Nets to the researchers and practitioners, both from identification systems, who are involved in the work in the areas of modelling and analysis of biometric identification types of systems, as well as those who may potentially be involved in these areas. In addition, the paper introduces high-level Petri Nets, as Colored Petri Nets (CPN). In this paper the model of Colored Petri Net describes the identification process much simpler.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Petrosyan, G., L. Ter-Vardanyan et A. Gaboutchian. « MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS ». ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLII-2/W4 (10 mai 2017) : 145–50. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017.

Texte intégral
Résumé :
Biometric identification systems use given parameters and function on the basis of Colored Petri Nets as a modelling language developed for systems in which communication, synchronization and distributed resources play an important role. Colored Petri Nets combine the strengths of Classical Petri Nets with the power of a high-level programming language. Coloured Petri Nets have both, formal intuitive and graphical presentations. Graphical CPN model consists of a set of interacting modules which include a network of places, transitions and arcs. Mathematical representation has a well-defined syntax and semantics, as well as defines system behavioural properties. One of the best known features used in biometric is the human finger print pattern. During the last decade other human features have become of interest, such as iris-based or face recognition. The objective of this paper is to introduce the fundamental concepts of Petri Nets in relation to tooth shape analysis. Biometric identification systems functioning has two phases: data enrollment phase and identification phase. During the data enrollment phase images of teeth are added to database. This record contains enrollment data as a noisy version of the biometrical data corresponding to the individual. During the identification phase an unknown individual is observed again and is compared to the enrollment data in the database and then system estimates the individual. The purpose of modeling biometric identification system by means of Petri Nets is to reveal the following aspects of the functioning model: the efficiency of the model, behavior of the model, mistakes and accidents in the model, feasibility of the model simplification or substitution of its separate components for more effective components without interfering system functioning. The results of biometric identification system modeling and evaluating are presented and discussed.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "High-level colored time Petri nets"

1

Haur, Imane. « AUTOSAR compliant multi-core RTOS formal modeling and verification ». Electronic Thesis or Diss., Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0057.

Texte intégral
Résumé :
La vérification formelle est une solution pour augmenter la fiabilité de l’implémentation du système. Dans notre travail de thèse, nous nous intéressons à l’utilisation de ces méthodes pour la vérification des systèmes d’exploitation multi-coeurs temps réel. Nous proposons une approche de model-checking utilisant les réseaux de Petri temporels, étendus avec des transitions colorées et des fonctionnalités de haut niveau. Nous utilisons ce formalisme pour modéliser le système d’exploitation multi-coeur Trampoline, conforme aux standards OSEK/VDX etAUTOSAR. Nous définissons dans un premier temps ce formalisme et montrons son adéquation avec la modélisation de systèmes concurrents temps reel. Nous utilisons ensuite ce formalisme pour modéliser le système d’exploitation multi-coeur Trampoline et vérifions par model-checking sa conformité avec le standard AUTOSAR. À partir de ce modèle, nous pouvons vérifier des propriétés aussi bien sur l’OS que sur l’application telles que l’ordonnançabilité d’un système tempsréel ainsi que les mécanismes de synchronisation : accès concurrents aux structures de données du système d’exploitation, ordonnancement multi-coeur et traitement des interruptions inter-coeur. À titre d’illustration, cette méthode a permis l’identification automatique de deux erreurs possibles de l’OS Trampoline dans l’exécution concurrente, montrant une protection insuffisante des données et une synchronisation défectueuse
Formal verification is a solution to increase the system’s implementation reliability. In our thesis work, we are interestedin using these methods to verify multi-core RTOS. We propose a model-checking approach using time Petri nets extended with colored transitions and high-level features. We use this formalism to model the Trampoline multi-core OS, compliant with the OSEK/VDX and AUTOSAR standards. We first define this formalism and show its suitability for modeling real-time concurrent systems. We then use this formalism to model the Trampoline multi-core RTOS and verify by model-checkingits conformity with the AUTOSAR standard. From this model, we can verify properties of both the OS and the application, such as the schedulability of a real-time system and the synchronization mechanisms: concurrent access to the data structures of the OS, multicore scheduling, and inter-core interrupt handling. As an illustration, this method allowed the automatic identification of two possible errors of the Trampoline OS in concurrent execution, showing insufficient data protection andfaulty synchronization
Styles APA, Harvard, Vancouver, ISO, etc.
2

Marsal, Gaëlle. « Evaluation of time performances of ethernet-based automation systems by simulation of high-level Petri nets ». Cachan, Ecole normale supérieure, 2006. http://tel.archives-ouvertes.fr/tel-00162228.

Texte intégral
Résumé :
Nous évaluons dans cette thèse deux performances temporelles des architectures d’automatisation distribuées sur Ethernet commuté et utilisant un modèle de coopération client/serveur : Le temps de réponse entre une occurrence d’un événement d’entrée et l’occurrence de l’événement de sortie correspondant ; Le temps de cycle réeseau pour la scrutation par un contrôleur de l’ensemble de ses modules d’entrées / sorties déportées. La conjonction de trois mécanismes de consommation de temps rend ces deux performances variables et difficiles à déterminer de manière analytique. Par conséquent, la méthode proposée se base sur la simulation d’un modèle en réseau de Petri temporisé et coloré du comportement dynamique de l’architecture complète. Les résultats obtenus sur six architectures test permettent de : Montrer que les architectures multi-contrôleurs utilisant le modèle de coopération client / serveur donnent des temps de cycle réseau plus rapide que celles basées sur les modèles maître / esclave et producteur / consommateur ; Quantifier l’influence du réseau et des mécanismes de consommation du temps
In this work, two time performances of switched Ethernet automation systems that use a client/server cooperation model are evaluated : The response time from an occurrence of an input event to the occurrence of the corresponding output event ; The network cycle time for the scanning by a controller of the whole set of its remote inputs / outputs modules. The conjunction of three time consumption mechanisms makes both time performances variable and difficult to compute in an analytic fashion. Thus, the proposed method is based on simulation of a timed and coloured Petri net model of the dynamic behaviour of the whole automation architecture. The results which have been obtained on six benchmark architectures enabled us : To show that multi-controllers architectures using a client/server cooperation model provide faster network cycle times than those based on master/slave and producer/consumer models ; To quantify the influence of the time consumption mechanisms on these performances
Styles APA, Harvard, Vancouver, ISO, etc.
3

Marsal, Gaelle [Verfasser]. « Evaluation of time performances of Ethernet-based Automation Systems by simulation of High-level Petri Nets / Gaelle Marsal ». Aachen : Shaker, 2007. http://d-nb.info/1166512339/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "High-level colored time Petri nets"

1

Chehaibar, G. « Use of Reentrant Nets in Modular Analysis of Colored Nets ». Dans High-level Petri Nets, 596–617. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_23.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Shapiro, R. M. « Validation of a VLSI Chip Using Hierarchical Colored Petri Nets ». Dans High-level Petri Nets, 667–87. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_27.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Pinci, V., et R. M. Shapiro. « An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets ». Dans High-level Petri Nets, 649–66. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_26.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Bruno, Giorgio, Andrea Castella, Gianpaolo Macario et Marco P. Pescarmona. « Scheduling hard real time systems using high-level Petri nets ». Dans Application and Theory of Petri Nets 1992, 93–112. Berlin, Heidelberg : Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55676-1_6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Mikolajczak, Boleslaw. « Flexibility and Security of Careflow Systems Modeled by Petri Nets ». Dans Certification and Security in Health-Related Web Applications, 84–111. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61692-895-7.ch005.

Texte intégral
Résumé :
The purpose of this chapter is to present an interplay of two important structural and behavioral features of robust intelligence in careflow systems, called flexibility and multi-level security. The chapter deals with design and analysis of careflow systems, i.e. workflow systems with applications in broadly understood healthcare industry. The authors focus on providing a robust intelligence to such systems in a form of structural and behavioral flexibility. They analyze several forms of design and run-time flexibility. However, the authors focus on case handling systems, exception handling, and on careflow systems with sub-processes called worklets. They also present how to model multi-level security within careflow systems that already have desired forms of flexibility. This implies that flexibility and security are conceptually independent and can therefore be modeled with Petri nets separately and incrementally in sequential order, first flexibility and then security. The authors apply Petri nets and colored Petri nets as conceptual modeling tool. They use example of Cutaneous Melanoma (CM) to illustrate some of our considerations.
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "High-level colored time Petri nets"

1

Haur, Imane, Jean-Luc Bechennec et Olivier H. Roux. « High-level Colored Time Petri Nets for true concurrency modeling in real-time software ». Dans 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2022. http://dx.doi.org/10.1109/codit55151.2022.9803922.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Bandinelli, S., A. Fuggetta et C. Ghezzi. « Software processes as real-time systems : a case study using high-level Petri nets ». Dans Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]. IEEE, 1992. http://dx.doi.org/10.1109/pccc.1992.200598.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Chen, Liqiong, Zhiqing Shao, Guisheng Fan et Xiuying Wang. « Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets ». Dans 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications (MESA). IEEE, 2008. http://dx.doi.org/10.1109/mesa.2008.4735673.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Biletska, Krystyna, Marie-Helene Masson, Sophie Midenet et Thierry Denaeux. « Short-time OD matrix estimation for a complex junction using fuzzy-timed high-level petri nets ». Dans 2009 12th International IEEE Conference on Intelligent Transportation Systems (ITSC). IEEE, 2009. http://dx.doi.org/10.1109/itsc.2009.5309709.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Boudi, Zakaryae, El Miloudi El Koursi et Simon Collart-Dutilleul. « An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling ». Dans 2015 Joint Rail Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/jrc2015-5687.

Texte intégral
Résumé :
Analyzing railway critical scenarios usually involves a large team of diverse railway abilities and skills. This paper presents a formal modeling pattern for Hierarchical Colored Petri Nets (HCPN) in modeling railway safety critical scenarios. Indeed, under the French project called “PERFECT”, our long-term objective is to formalize and automate a significant part of railway scenarios modeling. The purpose of this contribution is to bring a first proposition of a standardized modeling way able to deal with the models complexity resulting from the various modeling capabilities for railway scenarios. In fact, HCPN modeling freedom is preventing from accurate information aggregation and a beneficial use of those models in an overall safety analysis. The proposed pattern is based on modular High Level Petri Nets and consists in describing all the railway scenario episodes while incorporating most relevant safety components of the system, such as safety regulation procedures, interlocking and even human involvement, enabling a larger gathering of information and allowing the study of diverse issues in a same global model. This work intends to bring a concrete and reusable HCPN pattern for modeling in order to facilitate studies of accidental scenarios considering automatic mechanisms and human tasks. A concrete application of the pattern was made for the real accidental scenario of “Saint Romain en Gier”.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « High-level colored time Petri nets » pour d’autres types de sources :
Articles de revues
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie