Stochastic well-formed colored nets and symmetric modeling applications
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 42 (11), 1343-1360
- https://doi.org/10.1109/12.247838
Abstract
The class of stochastic well-formed colored nets (SWN's) was defined as a syntactic restriction of stochastic high-level nets. The interest of the introduction of restrictions in the model definition is the possibility of exploiting the symbolic reachability graph (SRG) to reduce the complexity of Markovian performance evaluation with respect to classical Petri net techniques. It turns out that SWN's allow the representation of any color function in a structured form, so that any unconstrained high-level net can be transformed into a well-formed net. Moreover, most constructs useful for the modeling of distributed computer systems and architectures directly match the "well-formed" restriction, without any need of transformation. A nontrivial example of the usefulness of the technique in the performance modeling and evaluation of multiprocessor architectures is included.Keywords
This publication has 11 references indexed in Scilit:
- Generalized stochastic Petri nets: a definition at the net level and its implicationsIEEE Transactions on Software Engineering, 1993
- An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithmIEEE Transactions on Parallel and Distributed Systems, 1992
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri NetsPublished by Springer Science and Business Media LLC ,1989
- Stochastic high-level Petri nets and applicationsIEEE Transactions on Computers, 1988
- Modeling the software architecture of a prototype parallel machinePublished by Association for Computing Machinery (ACM) ,1987
- Modeling Bus Contention and Memory Interference in a Multiprocessor SystemIEEE Transactions on Computers, 1983
- Comparative Performance Analysis of Single Bus Multiprocessor ArchitecturesIEEE Transactions on Computers, 1982
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981