ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Performance models of multiprocessor systems
Performance models of multiprocessor systems
Structure theory of Petri nets: the free choice hiatus
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Stochastic Petri Net Analysis of a Replicated File System
IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Improving the efficiency of the analysis of DSPN models
Advances in Petri nets 1989
GSPN models of Markovian multiserver multiqueue systems
Performance Evaluation
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
IEEE Transactions on Software Engineering
A symbolic simulation mechanism for well-formed coloured Petri nets
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
IEEE Transactions on Parallel and Distributed Systems
International Workshop on Timed Petri Nets
On Petri Nets with Stochastic Timing
International Workshop on Timed Petri Nets
A Generalized Timed Petri Net Model for Performance Analysis
International Workshop on Timed Petri Nets
International Workshop on Timed Petri Nets
A Stochastic Petri Net Model for Ethernet
International Workshop on Timed Petri Nets
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Performability Analysis of Parallel and Distributed Algorithms
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
Chronos: a Performance Characterization Tool Inside the EDPEPPS Toolset
The Journal of Supercomputing
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
Transient Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Iterative Decomposition and Aggregation of Labeled GSPNs
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of 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
Characterization of timed well-formed Petri nets behavior by means of occurrence equations
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Analysis of large GSPN models: a distributed solution tool
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Transient Analysis of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
A multiview approach to modeling and analysis of discrete event systems
Systems Analysis Modelling Simulation
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Implicit GSPN reachability set generation using decision diagrams
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Performance analysis of multistage interconnection networks with a new high-level net model
Journal of Systems Architecture: the EUROMICRO Journal
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Computers and Operations Research
Representing LCFSPR BCMP service center with Coxian service time by GSPN
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Formalization of petri nets with clocks
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Modeling networking issues of network-on-chip: a coloured petri nets approach
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Electronic Notes in Theoretical Computer Science (ENTCS)
PACS'02 Proceedings of the 2nd international conference on Power-aware computer systems
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Choice-point nets: a discrete-event modelling technique for analyzing health care protocols
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors
Journal of Parallel and Distributed Computing
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Bisimulation and logical preservation for continuous-time markov decision processes
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.01 |
The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net (GSPN) models while preserving the qualitative behavior is identified. Structural results for those nets are derived, obtaining the first structural analysis of Petri nets with priority and inhibitor arcs. A revision of the GSPN definition based on the structural properties of the models is presented. It is shown that for a (wide) class of nets, the definition of firing probabilities of conflicting immediate transitions does not require the information on reachable markings. Identification of the class of models for which the net-level specification is possible is also based on the structural analysis results. The procedure for the model specification is illustrated by means of an example. It is also shown that a net-level specification of the model associated with efficient structural analysis techniques can have a substantial impact on model analysis.