Filters








14,410 Hits in 2.8 sec

A Synthesis Method for Petri Net with Prescribed Firing Sequence
指定点弧系列をもつペトリネットの合成方法

Kouji TAKAHASHI, Kensuke HASEGAWA, Zbigniew BANASZAK
1985 Transactions of the Society of Instrument and Control Engineers  
In a Petri net, the activation of a system component may correspond to either a firing of a transition or a token in a place.  ...  The paper describes an algorithm to synthesize a Petri net which can generate a given firing sequence.  ...  In a Petri net, the activation of a system component may correspond to either a firing of a transition or a token in a place.  ... 
doi:10.9746/sicetr1965.21.277 fatcat:orsotbkjtzdkxpofnfwycfpncq

Higher-order Petri net models based on artificial neural networks

Tommy W.S. Chow, Jin-Yan Li
1997 Artificial Intelligence  
In this paper, the properties of higher-order neural networks are exploited in a new class of Petri nets, called higher-order Petri nets (HOPN).  ...  Using the similarities between neural networks and Petri nets this paper demonstrates how the McCullock-Pitts models and the higher-order neural networks can be represented by Petri nets.  ...  Higher-order Petri net The higher-order Petri net will be formally defined in this section.  ... 
doi:10.1016/s0004-3702(96)00048-3 fatcat:7s7qbxlozvb6tiopsofiilj3eu

Petri Algebras [chapter]

Eric Badouel, Jules Chenou, Goulven Guillou
2005 Lecture Notes in Computer Science  
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers.  ...  This class of nets is universal in the sense that any net associated with some Petri algebras can be simulated by a lexicographic Petri net.  ...  The first author thanks Nikolaos Galatos for fruitful discussions on totally ordered commutative GMV algebras. The second author was supported by a grant from the University of Douala, Cameroon.  ... 
doi:10.1007/11523468_60 fatcat:sqifufxgvzgzrc2526na5y4uhy

Page 152 of Journal of Research and Practice in Information Technology Vol. 24, Issue 4 [page]

1992 Journal of Research and Practice in Information Technology  
In a real system, events frequently occur simultaneously, and therefore transitions in a Petri net must be able to fire simultaneously in order to model the system.  ...  Dew (1987) implemented an integrated graphical edi- tor and animation tool for discrete Timed Places Petri Nets (TPPN) in order to emulate parallel execution of systems.  ... 

Batch Deterministic and Stochastic Petri Nets and Transformation Analysis Methods [chapter]

Labadi Karim, Amodeo Lionel, Chen Haoxu
2008 New Developments in Robotics Automation and Control  
The delivery is carried out in batch mode in the BDSPN by firing the transition t 2 and each customer will receive his/her order as it is ordered.  ...  in the associated discrete Petri net.  ...  All feasible sequences of firings (multiple transitions which can be fired consecutively) in a BDSPN are also feasible in its associated discrete Petri net, i.e., Proof: This property is an implication  ... 
doi:10.5772/6269 fatcat:dubcppqblncgzmligswqsde6aa

Evolving Concurrent Petri Net Models of Epistasis [chapter]

Michael Mayo, Lorenzo Beretta
2010 Lecture Notes in Computer Science  
However, often certain global assumptions (e.g. transition priorities) are required in order to convert a non-deterministic Petri net into a simpler deterministic model for easier analysis and evaluation  ...  ), whilst also learning useful Petri nets with practical applications.  ...  Instead, transitions can fire in any order, and the Petri net therefore exhibits only more realistic local interactions.  ... 
doi:10.1007/978-3-642-12101-2_18 fatcat:iagmv3mw3zhknkey2dbntvknxi

Modeling Internet Host Reliability using Higher-Order Time Petri Net

Ali M.Meligy, Hani M. Ibrahim, Amal M. Aqlan
2013 International Journal of Computer Applications  
The Higher-Order Petri Net is a new class of Petri Nets that exploit the properties of higher-order neural networks.  ...  Adding time to HOPN produces a new class called Higher-Order Time Petri Net, this is the subject of our study .In this paper, a method to model the internet host reliability with Higher-Order Time Petri  ...  This paper discusses internet host reliability modeling using Higher-Order Time Petri Net. Thus, an enumeration procedure can compute a reachability graph for a given HOTPN.  ... 
doi:10.5120/14421-2549 fatcat:boffupmuovdozbag73z43irv5a

On Liveness of Timed Petri Nets with Shared Resources Under the Earliest Firing Rule
共有資源付きタイム・ペトリネットの即時発火活性について

Atsushi OHTA, Tomiji HISAMURA
1994 Transactions of the Society of Instrument and Control Engineers  
As an extended class of Petri nets, timed Petri nets with finite firing duration of transitions have a wide range of applications, such as scheduling problems in FMS, parallel computing systems and so  ...  The earliest firing rule for timed Petri net model offers an easy and effective way for solving sub-optimization problems.  ...  In general, liveness of a usual Petri net is neither necessary nor sufficient condition for liveness of the Petri net with shared resource places under the earliest firing rule.  ... 
doi:10.9746/sicetr1965.30.694 fatcat:frqc5u3sfvcsbg3oz73unjsssu

Deterministic Petri Net Languages as Business Process Specification Language

Manu De Backer, Monique Snoeck
2006 Social Science Research Network  
In complex business processes the use of Petri Nets has been criticized and the technique is believed to be unable to capture such processes in all aspects.  ...  Therefore, in this paper, we introduce the application of Petri Net language theory for business process specification.  ...  Petri Net Languages In 1976, Hack [1] published a report on Petri Net languages where he stated that in many applications of Petri Nets it is the set of firing sequences generated by the net that is  ... 
doi:10.2139/ssrn.876906 fatcat:6zmvhtjy5bhn7krohjonuqthhi

A formal modeling approach for supply chain event management

Rong Liu, Akhil Kumar, Wil van der Aalst
2007 Decision Support Systems  
In particular, there is a need for a sense and respond capability to react to events in a real-time manner. In this paper, we propose time Petri nets as a formalism for doing so.  ...  Next, we show how to combine these patterns to build a complete Petri net and analyze it using reachability analysis, dependency graphs and simulation.  ...  Petri-nets are a powerful modeling technique for problems involving coordination in a variety of domains. A variant of Petri-nets called time Petri-nets allows us to model time intervals also.  ... 
doi:10.1016/j.dss.2006.12.009 fatcat:5kkjw5pnknbu7nthxoi5hfcfqu

Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets [chapter]

Thomas Chatain, Claude Jard
2005 Lecture Notes in Computer Science  
We do not impose that time is observable: the aim of supervision is to infer the partial ordering of the events and their possible firing dates.  ...  Using a symbolic representation, this paper presents a new definition of the unfolding of time Petri nets with dense time.  ...  Model-based diagnosis using time Petri nets and partial orders has already been addressed in [12] . In this work, temporal reasoning is based on (linear) logic.  ... 
doi:10.1007/11603009_16 fatcat:psqw3gcnezbqhgfye75e6ltzaa

Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets

Xin Feng, Mao Lin, Wei Liu, Chun Yan, Lei Liu
2020 IEEE Access  
A logical time Petri net is proposed in order to model and analyze time-related property, batch processing function and passing value uncertainty in logistic chains.  ...  INDEX TERMS Passing value uncertainty, logistic chains, firing time interval, logical transitions.  ...  On the basis of basic Petri nets, Petri nets are extended in different aspects. Time Petri nets are given and used for modeling computer systems and communication protocols [17] .  ... 
doi:10.1109/access.2020.2978940 fatcat:gc5ykrdldranrk5vhv25gre37e

A Survey of Control Structures for Reconfigurable Petri Nets

Julia Padberg, Kathrin Hoffmann
2015 Journal of Computer and Communications  
To that effect, reconfigurable Petri nets consist of a Petri net and a set of rules that can modify the Petri net.  ...  We differentiate several types of reconfigurable Petri nets and present a survey of control structure for these types, reconfigurable Petri nets.  ...  In timed Petri nets (e.g., time Petri nets [29] , deterministic timed Petri nets [30] and timed coloured Petri nets [31] ) time can be considered a control structure since the firing of transitions  ... 
doi:10.4236/jcc.2015.32002 fatcat:i2ercfroqje3ddi45xozmrqkc4

Orbital Petri Nets: A Novel Petri Net Approach [article]

Mohamed Yorky, Aboul Ella Hassanien
2018 arXiv   pre-print
It can be used in different applications based on the appropriate class of Petri Nets whereas it is classical, colored or timed Petri Nets.  ...  In this paper we introduce a new approach of Petri Nets called orbital Petri Nets (OPN) for studying the orbital rotating systems within a specific domain.  ...  Fig. 5 : 5 infinite Orbital Petri Net of order 2 (a)two rotating objects in different orbits ,(b) enabling of t1, (c) Firing t1 Fig. 6 : 6 Orbital Petri Net of order 6 (a) four rotating objects in different  ... 
arXiv:1806.03267v1 fatcat:hqpht2ga4zhbtl4rwwdu7sdvla

Reliability Assessment of Embedded Systems Using Stopwatch Petri Nets

Afifa Ghenai
2012 International Journal of Computer Science Engineering and Applications  
In order to face the increasing complexity of embedded systems and to represent the suspension and resumption of task execution we propose to extract directly feared scenarios from Stopwatch Petri net  ...  The description of feared scenarios since the system design phase enables us to understand the reasons of the feared behavior in order to envisage the necessary reconfigurations and choose safe architectures  ...  We represent classes with two formalisms: Time Petri Nets (TPN) and Stopwatch Petri Nets (SWPN) in order to represent the suspension and resumption of tasks in each component and to show the difference  ... 
doi:10.5121/ijcsea.2012.2504 fatcat:c2qvccwklzbevnzv6uo3puxuji
« Previous Showing results 1 — 15 out of 14,410 results