Filters








5,261 Hits in 8.0 sec

Dealing with Uncertainty on the Initial State of a Petri Net [article]

Iman Jarkass, Michele Rombaut
2013 arXiv   pre-print
Contrary to the usual use of the Petri nets, the initial state of the system is unknown. So a degree of belief is bound to each places, or set of places.  ...  This paper proposes a method to find the actual state of a complex dynamic system from information coming from the sensors on the system himself, or on its environment.  ...  is proposed to deal with the initial state uncertainty of the Petri net.  ... 
arXiv:1301.7389v1 fatcat:5ud22tivnnhc5j5vjuzrx7m3bu

Fuzzy Stochastic Petri Nets for Modeling Biological Systems with Uncertain Kinetic Parameters

Fei Liu, Monika Heiner, Ming Yang, Jérémie Bourdon
2016 PLoS ONE  
Considering the strength of fuzzy sets to deal with uncertain information, we apply a specific type of stochastic Petri nets, fuzzy stochastic Petri nets (FSPNs), to model and analyze biological systems  ...  For a biological system, SPNs model the randomness, while fuzzy sets model kinetic parameters with fuzzy uncertainty or variability by associating each parameter with a fuzzy number instead of a crisp  ...  We also would like to thank the anonymous referees for their constructive comments. Author Contributions  ... 
doi:10.1371/journal.pone.0149674 pmid:26910830 pmcid:PMC4766190 fatcat:trlnjwwxarhffljgwvthyiklsq

Planning with tokens: an approach between satisfaction and optimisation

Patrick Fabiani, Yannick Meiller
2000 Planen und Konfigurieren  
A first proposal is to begin with a colored Petri net representation of the propositional planning domain.  ...  The plan is output as a Petri net, so that all information about dependency relations among actions is preserved. The preliminary results on deterministic planning problems seem encouraging.  ...  Once the STRIPS domain has been translated in a Petri net (see fig. 4 ), a state is represented by the global marking of the net.  ... 
dblp:conf/puk/FabianiM00 fatcat:it5kpe54hzazfmv3g5gqr3wsxm

Possibilistic WorkFlow nets to deal with non-conformance in process execution

Leiliane Pereira de Rezende, Stephane Julia, Janette Cardoso
2012 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC)  
ACKNOWLEDGMENT The authors would like to thank FAPEMIG, CAPES and CNPq for financial support.  ...  In this paper, an approach based on WorkFlow nets and possibilistic Petri nets is proposed to deal with flexibility in Business Processes.  ...  The main feature of possibilistic/fuzzy Petri nets is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems.  ... 
doi:10.1109/icsmc.2012.6377898 dblp:conf/smc/RezendeJC12 fatcat:asd5dod3krehzlf4l2ghitdgta

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

Fatma Kachi, Chafia Bouanaka, Souheir Merkouche
2020 Electronic Proceedings in Theoretical Computer Science  
We combine high-level Petri nets and plausible Petri nets in order to model complex data structures enabling system quality attributes quantification and to improve the decision-making process through  ...  selecting the most plausible plans with regard to the system's actual context.  ...  Plausible Petri Nets (PPNs) The combination of the principles of Petri nets with the foundations of information theory resulted in a new model for Petri nets, called plausible Petri nets (PPNs) [7, 8]  ... 
doi:10.4204/eptcs.329.5 fatcat:4a3vwvmrwrb63hlgjdcmfum6wq

Monitoring of Hybrid Systems using Behavioural System Specification

L. Zouaghi, A. Wagner, E. Badreddin
2011 IFAC Proceedings Volumes  
The approach is based on the consideration of both discrete and continuous aspects within a single unified framework by combining Petri-net and numerical filter theory.  ...  The model uses a specification of the desired system behaviour during the system design in order to deliver an on-line estimation of the current system state.  ...  Alexopoulos for the assistance in the implementation of the monitoring framework and Petri-net simulator.  ... 
doi:10.3182/20110828-6-it-1002.01033 fatcat:iimzsg4g2fclnc67cjwkuhbxqu

Tokenplan: A Planner for Both Satisfaction and Optimization Problem

Yannick Meiller, Patrick Fabiani
2001 The AI Magazine  
I TOKENPLAN is a planner based on the use of Petri nets. Its main feature is the flexibility it offers in the way it builds the planning graph.  ...  The Fifth International Conference on Artificial Intelligence Planning and Scheduling planning competition validated its behavior with a GRAPHPLAN-like behavior.  ...  TOKENPLAN and Petri Nets The reader unfamiliar with Petri nets needs only know the following: They are made of places, transitions, and tokens. A place can be seen as a token holder.  ... 
doi:10.1609/aimag.v22i3.1578 dblp:journals/aim/MeillerF01 fatcat:i4op6l2ohfbkhl5fbjwhla45o4

Uncertain Marking for Dealing with Partial Parallelization in Business Processes

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2016 Proceedings of the 18th International Conference on Enterprise Information Systems  
Possibilistic Petri nets with uncertainty in the marking and the transition firing are considered to express in a more realistic way the ordering of human activities during real time execution of the process  ...  In this paper, an approach based on WorkFlow nets and possibilistic Petri nets is proposed for dealing with flow deviations in business processes.  ...  ACKNOWLEDGEMENTS The authors would like to thank Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), Fundação de Amparo a Pesquisa do Estado ICEIS 2016 -18th International Conference on  ... 
doi:10.5220/0005760201180125 dblp:conf/iceis/RezendeJC16 fatcat:4cygdchc2fd6dk2cgk2472hpi4

Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets [chapter]

Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle
2016 Lecture Notes in Computer Science  
This paper focuses on the application of a Petri Net-based diagnosis method on a planetary rover prototype.  ...  The Hybrid Particle Petri Nets (HPPN) formalism is used to model hybrid systems behavior and degradation, and to define the generation of diagnosers to monitor the health states of such systems under uncertainty  ...  of the Petri net.  ... 
doi:10.1007/978-3-319-39086-4_13 fatcat:qvvjexzbeje6rmjmgoino6in4a

Scheduling for Farm Work Planning based on Petri Net Model and Simulated Annealing

Senlin Guan, Hirofumi Matsuda, Morikazu Nakamura, Takeshi Shikanai, Takeo Okazaki
2007 Agricultural Information Research  
The marking that is one of properties of Petri net facilitates mastering the farming progress and the online status of the farmland and resources.  ...  The necessary data for farm work planning including the data of farming process and changes of uncertainties is recorded by a cellular phone equipped with a GPS (Global Positioning System) function and  ...  Fig. 1 illustrates the components and behaviors of an original Petri net. It also shows the transference process from the initial state to the final state by the action of firing.  ... 
doi:10.3173/air.16.188 fatcat:mmux3dxa3jhlfkm7ilneqptbfy

Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net

Leiliane Pereira de Rezende, Stephane Julia, Janette Cardoso
2012 2012 31st International Conference of the Chilean Computer Science Society  
ACKNOWLEDGMENT The authors would like to thank FAPEMIG, CAPES and CNPq for financial support.  ...  In this paper, an approach based on WorkFlow nets and possibilistic Petri nets is proposed to deal with nonconformance in Business Processes.  ...  The main feature of possibilistic/fuzzy Petri nets is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems.  ... 
doi:10.1109/sccc.2012.13 dblp:conf/sccc/RezendeJC12 fatcat:wwsqkhucozdkpprohvfxkauhma

Diagnosis of Hybrid Systems Using Hybrid Particle Petri Nets: Theory and Application on a Planetary Rover [chapter]

Quentin Gaudel, Elodie Chanthery, Pauline Ribot, Matthew J. Daigle
2018 Fault Diagnosis of Hybrid Dynamic and Complex Systems  
After a review of the state of the art on different existing solutions for diagnosis of hybrid systems under uncertainty, we propose to introduce the Hybrid Particle Petri Nets (HPPN) modeling framework  ...  Diagnosis of hybrid systems using Hybrid Particle Petri nets: theory and application on a planetary rover. Moamar Sayed-Mouchaweh.  ...  Two types of uncertainty are then considered: the symbolic uncertainty dealing with the discrete model and observations; and the numerical uncertainty dealing with the imprecision on the continuous model  ... 
doi:10.1007/978-3-319-74014-0_9 fatcat:hspunr7c3ffc7efwon2yut5tju

A method of workflow scheduling based on colored Petri nets

Zhijiao Xiao, Zhong Ming
2011 Data & Knowledge Engineering  
Based on the study of existing scheduling methods, a method of workflow scheduling, called phased method, is proposed. This method is based on colored Petri nets.  ...  Experimental results show that the proposed method can deal with the uncertainties and the dynamic circumstances very well and a satisfactory balance can be achieved between static global optimization  ...  A phased method of workflow scheduling based on colored Petri nets is proposed in this paper.  ... 
doi:10.1016/j.datak.2010.11.005 fatcat:pgjummuw3baylh4lthmvqluia4

Dynamic state reconciliation and model-based fault detection for chemical processes

Nelly Olivier-Maget, Gilles Hétreux, Jean Marc Le Lann, Marie Véronique Le Lann
2009 Asia-Pacific Journal of Chemical Engineering  
So they correspond either with commands send from the recipe Petri net in order to manage the active entities, or with the occurrence of a state event (detection of a threshold) or a temporal event.  ...  The marking of the Petri net indicates the current state of the object.  ... 
doi:10.1002/apj.336 fatcat:mfq35ater5aqvedcpayxgkv66y

Resource assignment and scheduling based on a two-phase metaheuristic for cropping system

Senlin Guan, Morikazu Nakamura, Takeshi Shikanai, Takeo Okazaki
2009 Computers and Electronics in Agriculture  
The two-phase metaheuristic performs the optimization of resources assignment and scheduling based on a simulated annealing (SA), a genetic algorithm (GA) and a hybrid Petri nets model.  ...  The initial and progressive states of farmlands and resources, moving sequence of machinery, cooperative work, and deadlock removal have been well handled in the proposed approach.  ...  In comparison with a discrete Petri net, a continuous Petri net represents continuous work process with the marking marked by real numbers.  ... 
doi:10.1016/j.compag.2009.01.011 fatcat:kkr4l7vd2jgnxpsddgbsqw3rfu
« Previous Showing results 1 — 15 out of 5,261 results