6,910 Hits in 4.3 sec

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets

Yojiro Harie, Katsumi Wasaki
2017 Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications  
HiPS supports hierarchical modeling and can analyze the dynamic and structural properties of a Petri net by generating state spaces.  ...  This paper introduces the Hierarchical Petri net Simulator (HiPS), a Petri net design tool implemented using C# and C++, the .NET Framework, and an interprocess communication channel.  ...  DYNAMIC BEHAVIOR AND STRUCTURAL ANALYSIS Dynamic Behavior Properties Examples of dynamic property analysis include reachability graph analysis, (extended) coverability graph analysis, deadlock analysis  ... 
doi:10.5220/0006463803560361 dblp:conf/simultech/HarieW17 fatcat:4kyk4eytvnaj7f5yhu35fjfnne

Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets

Titchiev Inga
2016 Computer Science Journal of Moldova  
The aim of this article is to perform a quantitative analysis of the evacuation system by using Generalized Stochastic Petri nets and capturing all the properties and characteristics related to its dynamics  ...  Introduction To check properties of distributed systems various methods can be used. Petri nets is one of the methods which demonstrated good results.  ...  Section 2 deals with the requirements of modeling using Generalized Stochastic Petri nets.  ... 
doaj:d91fcff15d5e420fa6bd5fcc76a03437 fatcat:zkvsf4mtb5govdvyiwskbmyh5y

States Graph Generation from dynamic Priority Time Petri Nets

Walid Karamti, Adel Mahfoudhi
2013 International Journal of Open Problems in Computer Science and Mathematics  
dynamic Priority Time Petri Nets (dPTPN) is a mathematical formalism dedicated to modeling Real-Time System (RTS) and checking its schedulability.  ...  The present paper proposes a states graph generation from a reduced dPTPN model in order to deal with the scheduling analysis.  ...  In [10] , the authors have proposed the first Time Petri Nets extension dPTPN (dynamic Priority Time Priority Time Petri Nets) dealing with dynamic priority via the introduction of a new component.  ... 
doi:10.12816/0006172 fatcat:5gv3cgusgjak7i2xubkniii7ue

A Fuzzy Approach to Sequential Failure Analysis Using Petri nets

S.R. Hejazi, A. Doostparast Torshizi
2010 International Journal of Industrial Engineering and Production Research  
In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the concept of Petri nets which is utilized to track all the risky behaviors of the system  ...  The proposed methodology is demonstrated with an example of two automated machine tools and two input/output buffer stocks.  ...  The method is also suitable for identification applications in the case of deterministic or stochastic timed Petri nets with unknown minimal time delays.  ... 
doaj:0fed0049210b455081c71248921d981a fatcat:4g42yl3yt5exdocwqeir2gdb2q

A Hybrid Approach to Failure Analysis Using Stochastic Petri Nets and Ranking Generalized Fuzzy Numbers

Abolfazl Doostparast Torshizi, Jamshid Parvizian
2012 Advances in Fuzzy Systems  
We present a novel failure analysis approach combining structural properties of stochastic Petri Nets and flexibility of fuzzy logic. Firstly, we develop a powerful fuzzy ranking technique.  ...  Using this technique, we utilize isomorphism between stochastic Petri Nets and their corresponding Markov chains and present a failure analysis algorithm incorporating some critical factors.  ...  In this paper, we introduce a novel failure analysis method in which the Petri Net model of the system is constructed. This model includes different potential risks.  ... 
doi:10.1155/2012/957697 fatcat:3vzrd5n2yzdd5hczds6a3rkzra

Page 6516 of Mathematical Reviews Vol. , Issue 98J [page]

1998 Mathematical Reviews  
{For the entire collection see MR 98h:68006. } 98j:68118 68Q90 Bause, Falko (D-DORT-1I4; Dortmund) Analysis of Petri nets with a dynamic priority method.  ...  Summary: “In this paper we propose an efficient reachability set based Petri net analysis by introducing dynamic priorities which decrease the number of reachable markings in most cases.  ... 

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Xinhua Chen, Ya-ni Sun
2016 International Journal of Online Engineering (iJOE)  
The model prove to be a good simulation to the computer network and the improved modeling method is also a valid method for further object oriented Petri net modeling.  ...  This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method.  ...  With the aid of the mathematical development of Petri nets analysis methods and techniques, it can be used for static structural analysis as well as for dynamic analysis of the behavior.  ... 
doi:10.3991/ijoe.v12i02.5039 fatcat:mypjmwnlgvaeblkylmj4ahxtbm

An Extended Stochastic Petri Nets Modeling Method for Collaborative Workflow Process

Yang Yi
2012 Physics Procedia  
In this paper, we explore an extended stochastic Petri Nets modeling method based on basic Petri Nets. This method can model concurrency collaborative workflow process under stochastic environment.  ...  Workflow process modeling is important for BPR; some classic process modeling methods have many defects, such as weakness description ability, high modeling complex, and so on.  ...  Acknowledgment This work is supported by NSF of Guangxi University of Technology (NO.0977102) and (NO.0977201).  ... 
doi:10.1016/j.phpro.2012.05.251 fatcat:jtrtzyfzdzgzhmfvkcfcrkovh4

Extending PNML Scope: the Prioritised Petri Nets Experience

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
2011 Applications and Theory of Petri Nets  
The extension of Petri nets with static or dynamic priorities is studied, showing design choices to ensure the desired compatibility.  ...  The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard.  ...  As an example, dynamically prioritised Petri nets associate with each Petri net transition a priority function with a marking as input and some value, e.g. a real number, as output.  ... 
dblp:conf/apn/HillahKLP11 fatcat:ekbpmbb7o5fvfps4tuczrpwga4

Responsive traffic signals designed with petri nets

Michel dos Santos Soares, Jos Vrancken
2008 Conference Proceedings / IEEE International Conference on Systems, Man and Cybernetics  
The dynamic behavior of a group of traffic signals controlling a network of intersections is a complex discrete event system that can be modeled using Petri nets.  ...  In this paper, one purpose is to design a mechanism based on Petri nets with time interval associated to places to extend the green time to a main road depending on the demand of non-priority roads.  ...  In this paper, Petri nets with time interval (minimum and maximum) associated to places are applied in the design of a small network of roads with a priority schema.  ... 
doi:10.1109/icsmc.2008.4811574 dblp:conf/smc/SoaresV08 fatcat:n7nnsggkmrg63csqd6cet7foyq

Web application for visual modeling of discrete event systems

V. Stetsenko Inna, A. Dyfuchyn, K. Leshchenko, Davies John
2017 2017 Internet Technologies and Applications (ITA)  
It provides the development of a model in two stages. In the first stage, the dynamics of the classes of objects are created using Petri net.  ...  The web application enables the design of the model's dynamics by manipulation with graphics objects and saving it not only as a graphics object but also as a program method.  ...  At the end of creating the Petri net it is saved as a program method with dynamic parameters as its arguments. Secondly, the Petri-objects are created and saved in the model list.  ... 
doi:10.1109/itecha.2017.8101916 fatcat:myipbqw2kbdi5filjznuiotna4

Modeling priority analysis via Hybrid Petri Nets for an Internal Combustion Engine Management System

A Palladino, L A Aguirre, G Fiengo, R de Castro Lima
2010 Proceedings of the 2010 American Control Conference  
The proposed model consists of the interconnections of a discrete logic layer, modeled via Petri nets, with a continuous variable layer, described by differential algebraic equations.  ...  Hybrid Petri Net based approach, it shows how the Petri Net elements used can be adopted and optimized to better design the algorithms structure so to highlight and manage the different levels of priority  ...  Certainly, the authors are conscious that a classical EMS is more complex but the target of this work is to introduce a modeling priority analysis via Hybrid Petri Nets for an ICE management system.  ... 
doi:10.1109/acc.2010.5531111 fatcat:pkiwolgw5zcgbbwtl7z2qxssim

A timed colored Petri nets modeling for dynamic workflow in product development process

Seungchul Ha, Hyo-Won Suh
2008 Computers in industry (Print)  
We define PWF-nets based on timed colored Petri nets for the workflow management of PDP and propose a method of organizing PWF-nets that are composed of workflow patterns.  ...  Thus, even though there have been many workflow modeling and management methods, they have limitations to deal with the special characteristics of PDP.  ...  Adam et al. [1] presented a framework for workflow modeling and analysis using a Petri net.  ... 
doi:10.1016/j.compind.2007.06.016 fatcat:7d2kz443pnhetplyqxnx3snnuq

Model for Verification of Intelligence of Multiagent Systems

Oleksandr Martynyuk, Oleksandr Drozd, Anatoliy Sachenko, Kostiantyn Zashcholkin, Igor Mileiko
2022 International Workshop on Intelligent Information Technologies & Systems of Information Security  
The overall computational complexity of the k-decomposition for models of verification of intelligence on base of hierarchical Petri nets is reduced exponentially by a factor of k, and the experimental  ...  properties and mechanisms of multi-agent systems, in positions and transitions of Petri nets.  ...  The dynamic weights of the components of the reconfigurable Petri nets S(f), iIS(f)i, -positions, transitions, relations-links, markings suggest intelligent statistical and priority analysis, search  ... 
dblp:conf/intelitsis/MartynyukDSZM22 fatcat:jqu7gyhinrfrhcnuyy4cicbueu

Simulation modelling construction project with repetitive tasks using Petri nets theory

Sławomir Biruk, Piotr Jaśkowski
2008 Journal of Business Economics and Management  
This paper presents a new methodology for project scheduling with repetitive processes using Petri nets based approach.  ...  The paper starts with an overview of current developments in the Petri nets theory.  ...  • Priority nets In the case of priority nets, a partial order in T transitions set is defi ned.  ... 
doi:10.3846/1611-1699.2008.9.219-226 fatcat:u6pdsuytojfxlj533g5npnnlj4
« Previous Showing results 1 — 15 out of 6,910 results