Relevant bibliographies by topics / High-level colored time Petri nets

Academic literature on the topic 'High-level colored time Petri nets'

Author: Grafiati
Published: 14 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'High-level colored time Petri nets.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "High-level colored time Petri nets"

1

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

Aloysius, Nikolaus, Manahan Siallagan, and 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 (June 29, 2022): 196–209. http://dx.doi.org/10.31098/ijmesh.v5i1.985.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

Petrosyan, G. R., L. A. Ter-Vardanyan, and 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 (May 18, 2015): 37–42. http://dx.doi.org/10.5194/isprsarchives-xl-5-w6-37-2015.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

Petrosyan, G., L. Ter-Vardanyan, and 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 (May 10, 2017): 145–50. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "High-level colored time Petri nets"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bruno, Giorgio, Andrea Castella, Gianpaolo Macario, and Marco P. Pescarmona. "Scheduling hard real time systems using high-level Petri nets." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mikolajczak, Boleslaw. "Flexibility and Security of Careflow Systems Modeled by Petri Nets." In 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "High-level colored time Petri nets"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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”.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'High-level colored time Petri nets' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography