Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Petri-net evaluation using APL2
APL '92 Proceedings of the international conference on APL
Arrival theorems for product-form stochastic Petri nets
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Massively parallel SIMD simulation of discrete time stochastic Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
WSC '86 Proceedings of the 18th conference on Winter simulation
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
A Timed Petri Net Interpreter: An Alternative Method for Simulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Performance Analysis of Asynchronous Circuits Using Markov Chains
Concurrency and Hardware Design, Advances in Petri Nets
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Modeling a scalable high-speed interconnect with stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
One kind of petri nets with systematized changeable structure
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |
Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The stochastic Petri net (SPN) uses an exponentially distributed random variable. In this paper, a discrete time stochastic Petri model is described. These discrete time SPN's fill the gap between TPN and normal SPN. However, the use of discrete time complicates the SPN model in that more than one transition may fire at a time step. Finally, an example of a live and bounded Petri net which has nonempty, disjoint, recurrent subsets of markings is given.