ACM Transactions on Computer Systems (TOCS)
Performance models of multiprocessor systems
Performance models of multiprocessor systems
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Analysis of large stochastic petri net models
Analysis of large stochastic petri net models
Computer networks and systems: queueing theory and performance evaluation
Computer networks and systems: queueing theory and performance evaluation
Performance modeling of automated manufacturing systems
Performance modeling of automated manufacturing systems
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science - Special issue on hybrid systems
Programming combined discrete-continuous simulation models for performance
WSC '96 Proceedings of the 28th conference on Winter simulation
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
FSPNs: Fluid Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Modeling of hybrid systems using continuous and hybrid Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Steady State Solution of MRSPN with Mixed Preemption Policies
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS
DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS
FLUID STOCHASTIC PETRI NETS: THEORY, APPLICATIONS, AND SOLUTION
FLUID STOCHASTIC PETRI NETS: THEORY, APPLICATIONS, AND SOLUTION
DECIDABILITY QUESTIONS FOR PETRI NETS
DECIDABILITY QUESTIONS FOR PETRI NETS
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis
Discrete Event Dynamic Systems
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
IEEE Transactions on Software Engineering
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
SPNP: Stochastic Petri Nets. Version 6.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Efficient steady-state analysis of second-order fluid stochastic Petri nets
Performance Evaluation
Versatile stochastic models for networks with asymmetric TCP sources
Performance Evaluation
Continuous PEPA queues: individual behaviour in continuous queueing networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Hybrid simulation of biochemical systems using hybrid adaptive Petri nets
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Functional and Performability Properties of Stochastic Fluid Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A decomposition method for optimal firing sequence problems for first-order hybrid Petri nets
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
On reachability in autonomous continuous Petri net systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Fluid models in performance analysis
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On the representation of spatially moving entities using time-variant topologies
Proceedings of the 2011 Summer Computer Simulation Conference
Petri net based evaluation of energy consumption in wireless sensor nodes
Journal of High Speed Networks
Hi-index | 0.00 |
The purpose of this paper is to describe a method for the simulation of the recently introduced fluid stochastic Petri nets. Since such nets result in rather complex system of partial differential equations, numerical solution becomes a formidable task. Because of a mixed (discrete and continuous) state space, simulative solution also poses some interesting challenges, which are addressed in the paper.