SCOPUS 정보 검색 플랫폼

Volumn 22, Issue 1, 1995, Pages 3-21

DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets

a TECHNISCHE UNIVERSITÄT BERLIN (Germany)

Author keywords

Numerical methods for transient analysis of Markov chains; Performance and dependability modeling; Software packages for stochastic Petri nets

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; GRAPHICAL USER INTERFACES; MARKOV PROCESSES; MATHEMATICAL MODELS; MULTIPROCESSING SYSTEMS; NUMERICAL METHODS; PERFORMANCE; PETRI NETS; RANDOM PROCESSES;

DETERMINISTIC AND STOCHASTIC PETRI NETS; MARKOV CHAINS; SOFTWARE ARCHITECTURE; SOFTWARE PACKAGE - DSPNEXPRESS; TRANSIENT ANALYSIS;

COMPUTER SOFTWARE;

EID: 0029247843 PISSN: 01665316 EISSN: None Source Type: Journal
DOI: 10.1016/0166-5316(93)E0035-4 Document Type: Article

Times cited : (29)

References (18)

1
- 0024680939
- The effect of execution policies on the semantics of stochastic Petri nets
- (1989) IEEE Transactions on Software Engineering , vol.15 , pp. 832-846
- Marsan¹ Balbo² Bobbio³ Chiola⁴ Conte⁵ Cumani⁶

2
- 33846674384
- On Petri nets with deterministic and exponentially distributed firing times
- G. Rozenberg, Lecture Notes in Computer Science, Springer, Berlin
- (1987) Advances in Petri Nets 1986 , vol.266 , pp. 132-145
- Marsan¹ Chiola²

3
- 0343313564
- Improving the efficiency of the analysis of DSPN models
- G. Rozenberg, Lecture Notes in Computer Science, Springer, Berlin
- (1990) Advances in Petri Nets 1989 , vol.424 , pp. 30-50
- Marsan¹ Chiola² Fumagalli³

4
- 0023211024
- On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets
- Madison, Wisc.
- (1987) Proc. 2nd Int. Workshop on Petri Nets and Performance Models , pp. 85-92
- Balbo¹ Chiola² Franceschinis³ Roet⁴

5
- 0002440872
- A graphical Petri net tool for performance analysis
- Paris, France
- (1987) Proc. 3rd Int. Workshop on Modelling Techniques and Performance Evaluation , pp. 323-333
- Chiola¹

6
- 10244235160
- Compiling techniques for the analysis of stochastic Petri nets
- Palma de Mallorca, Spain
- (1989) Proc. 4th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation , pp. 11-24
- Chiola¹

7
- 0342290264
- GreatSPN 1.5 software architecture
- Torino, Italy
- (1991) Proc. 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation , pp. 117-132
- Chiola¹

8
- 0024908784
- SPNP: stochastic Petri net package
- Kyoto, Japan
- (1989) Proc. 3rd Int. Workshop on Petri Nets and Performance Models , pp. 142-151
- Ciardo¹ Muppala² Trivedi³

9
- 0001470680
- Automated generation of Markov reward models using stochastic reward nets
- C. Meyer, R.J. Plemmons, IMA Volumes in Mathematics and its Applications, Springer, Berlin
- (1992) Linear Algebra, Markov Chains, and Queueing Models , vol.48
- Ciardo¹ Blakemore² Chimento³ Muppala⁴ Trivedi⁵

10
- 0002483257
- Performability modeling with UltraSAN
- (1991) IEEE Software , vol.8 , pp. 69-80
- Couvillion¹ Freire² Johnson³ Obal⁴ Qureshi⁵ Rai⁶ Sanders⁷ Twedt⁸

11
- 0003972117
- Addison-Wesley, Reading, Mass
- (1989) The Design and Implementation of the 4.3BSD UNIX Operating System
- Leffler¹ McKusick² Karels³ Quarterman⁴

12
- 84921128898
- Employing the randomization technique for solving stochastic Petri net models
- A. Lehmann, F. Lehmann, Munich, Germany, Springer, Berlin
- (1991) Proc. 6th GI/ITG Conf. on Modeling, Measurement and Evaluation of Computing Systems , pp. 306-319
- Lindemann¹

13
- 0027627489
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
- (1993) Performance Eval. , vol.18 , pp. 79-95
- Lindemann¹

14
- 51249168475
- Modeling discrete event systems with state-dependent deterministic service times
- (1993) Disc. Event Dynam. Syst. , vol.3 , pp. 249-270
- Lindemann¹ German²

15
- 84921138765
- Evaluating sequential consistency in a virtually shared memory system with deterministic and stochastic Petri nets
- San Diego, Calif.
- (1993) Proc. Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems , pp. 63-68
- Lindemann¹ Schön²

16
- 84921128406
- (1990) The Definition Guides to the X Window System Vol. 5, X Toolkit Intrinsics Reference Manual

17
- 0018050859
- NSPIV, a FORTRAN subroutine for sparse Gaussian elimination with partial pivoting
- (1978) ACM Trans. Math. Softw. , vol.4 , pp. 391-398
- Sherman¹

18
- 84889277148
- Matrix methods in large dependability models
- IBM Watson Res. Center, Yorktown Heights
- (1985) Technical Report RC-11485
- Stewart¹ Goyal²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.