A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A Synthesis Method for Petri Net with Prescribed Firing Sequence
指定点弧系列をもつペトリネットの合成方法
1985
Transactions of the Society of Instrument and Control Engineers
指定点弧系列をもつペトリネットの合成方法
Preserved Fulltext
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
1997
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2008
New Developments in Robotics Automation and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
共有資源付きタイム・ペトリネットの即時発火活性について
1994
Transactions of the Society of Instrument and Control Engineers
共有資源付きタイム・ペトリネットの即時発火活性について
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2006
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Decision Support Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Computer and Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Computer Science Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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