SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Performance Evaluation

Volumn 24, Issue 1-2, 1995, Pages 47-68

GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

(4) Chiola, G a Franceschinis, G a Gaeta, R a Ribaudo, M a

a UNIVERSITY OF TURIN (Italy)

Author keywords

CTMC; Modeling tool; Petri nets; Simulation

Indexed keywords

EID: 0010646794 PISSN: 01665316 EISSN: None Source Type: Journal
DOI: 10.1016/0166-5316(95)00008-L Document Type: Article

Times cited : (203)

References (24)

1
- 84976753721
- A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems
- (1984) ACM Trans. Comput. Systems , vol.2 , Issue.1
- Marsan¹ Balbo² Conte³

2
- 0003753186
- On the integration of delay and throughput measures in distributed processing models
- UCLA, Los Angeles, Calif.
- (1981) Ph.D. Thesis
- Molloy¹

3
- 84910858869
- A software tool for the automatic analysis of generalized stochastic Petri net models
- Paris, France
- (1984) Proc. Int. Conf. on Modelling Techniques and Tools for Performance Analysis
- Marsan¹ Balbo² Ciardo³ Conte⁴

4
- 0022203536
- A software package for the analysis of generalized stochastic Petri net models
- Torino, Italy
- (1985) Proc. Int. Workshop on Timed Petri Nets
- Chiola¹

5
- 0022893344
- A CAD tool for stochastic Petri nets
- Dallas, Texas
- (1986) Proc. ACM-IEEE-CS Fall Joint Computer Conf. , pp. 1082-1091
- Molloy¹

6
- 0000345477
- On Petri nets with deterministic and exponentially distributed firing times
- Oxford, England, Reprinted in:, G. Rozenberg Advances on Petri Nets '87 LNCS 266 1987 Springer Berlin 132 145
- (1986) Proc. 7th European Workshop on Application and Theory of Petri Nets , pp. 151-165
- Maisan¹ Chiola²

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

8
- 33747340258
- Operational analysis of timed Petri nets and applications to the computation of performance bounds
- Toulouse, France
- (1993) Proc. 5th Int. Workshop on Petri Nets and Performance Models
- Chiola¹ Campos² Colom³ Silva⁴ Anglano⁵

9
- 0003336550
- On well-formed coloured nets and their symbolic reachability graph
- Paris, France, Reprinted in:, K. Jensen G. Rozenberg High-Level Petri Nets. Theory and Application 1991 Springer Berlin
- (1990) Proc. 11th Int. Conf. on Application and Theory of Petri Nets
- Chiola¹ D'utheillet² Franceschinis³ Haddad⁴

10
- 0027703137
- Stochastic well-formed coloured nets for symmetric modelling applications
- (1993) IEEE Trans. Comput. , vol.42 , Issue.11 , pp. 1343-1360
- Chiola¹ Dutheillet² Franceschinis³ Haddad⁴

11
- 84921162525
- A framework for studying sets of related Petri net models
- Université Paris 6, 4 Place Jussieu, 75252 Paris Cedex 05, France
- (1990) Technical Report 90/51
- Chiola¹ Donatelli²

12
- 0027650026
- Distributed simulation of Petri nets
- (1993) Parallel Distributed Techn. , vol.1 , Issue.3 , pp. 33-50
- Chiola¹ Ferscha²

13
- 0002765578
- Superposed generalized stochastic Petri nets: definition and efficient solution
- Zaragoza, Spain
- (1994) Proc. 15th Int. Conf. Application and Theory of Petri Nets
- Donatelli¹

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

15
- 0029407839
- The UltraSAN modeling environment
- this issue
- (1995) Perf. Eval. , vol.24 , pp. 89-115
- Sanders¹ Obal² Qureshi³ Widjanarko⁴

16
- 0029247843
- DSPNexpress: A software package for the efficient solution of deterministic and stochastic Petri nets
- (1995) Perf. Eval. , vol.22 , pp. 3-21
- Lindemann¹

17
- 0001087075
- GSPN models of Markovian multiserver multiqueue systems
- (1990) Performance Evaluation , vol.11 , Issue.4 , pp. 227-240
- Marsan¹ Donatelli² Neri³

18
- 85034854874
- Transformations and decompositions of nets
- W. Brawer, W. Reisig, G. Rozenberg, Bad Honnef, West Germany, February 1987, LNCS, Springer, Berlin
- (1986) Advances on Petri Nets '86-Part I , vol.254 , pp. 359-376
- Berthelot¹

19
- 0027540587
- Generalized stochastic Petri nets: a definition at the net level and its implications
- (1993) IEEE Trans. Softw. Engrg. , vol.19 , Issue.2 , pp. 89-107
- Chiola¹ Marsan² Balbo³ Conte⁴

20
- 0040668688
- A simple and fast algorithm to obtain all invariants of a generalized Petri net
- Bad Honnef, West Germany
- (1981) Proc. 2nd European Workshop on Application and Theory of Petri Nets
- Martinez¹ Silva²

21
- 0038029548
- Research des semiflots, des verrous et des trappes dans le reseaux de Petri
- (1985) Techn. Sci. Inform. , vol.4 , Issue.1
- Alaiwan¹ Toudic²

22
- 0023209659
- Structurally bounded stochastic Petri nets
- Madison, Wisc.
- (1987) Proc. Int. Workshop on Petri Nets and Performance Models , pp. 156-163
- Molloy¹

23
- 84958779518
- GSPN versus SPN: what is the actual role of immediate transitions?
- Melbourne, Australia
- (1991) Proc. 4th Int. Workshop on Petri Nets and Performance Models , pp. 20-31
- Chiola¹ Donatelli² Franceschinis³

24
- 0026970989
- A symbolic simulation mechanism for well-formed coloured Petri nets
- Orlando, Fla.
- (1992) Proc. 25th SCS Annual Simulation Symp.
- Chiola¹ Franceschinis² Gaeta³

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