Performance evaluation of systems using nets (English)
National licence
- New search for: Sifakis, J.
- New search for: Sifakis, J.
In:
Net Theory and Applications
;
307-319
;
1980
- Article/Chapter (Book) / Electronic Resource
-
Title:Performance evaluation of systems using nets
-
Contributors:Sifakis, J. ( author )
-
Published in:Net Theory and Applications ; 307-319Lecture Notes in Computer Science ; 84 ; 307-319
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1980-01-01
-
Size:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Introduction to general net theoryPetri, C. A. et al. | 1980
- 21
-
Elements of general net theoryGenrich, H. J. / Lautenbach, K. / Thiagarajan, P. S. et al. | 1980
- 165
-
Formal properties of place/transition netsJantzen, M. / Valk, R. et al. | 1980
- 213
-
Linear algebra in net theoryMemmi, G. / Roucairol, G. et al. | 1980
- 225
-
Atomicity of activitiesBest, E. et al. | 1980
- 251
-
ConcurrencyPetri, C. A. et al. | 1980
- 261
-
The relative strength of K-densityBest, E. et al. | 1980
- 277
-
Reductions of nets and parallel programsBerthelot, G. / Roucairol, G. / Valk, R. et al. | 1980
- 291
-
Adequacy of path programsBest, E. et al. | 1980
- 307
-
Performance evaluation of systems using netsSifakis, J. et al. | 1980
- 321
-
Survey of French research and applications based on Petri netsAndré, C. / Girault, C. / Diaz, M. / Sifakis, J. et al. | 1980
- 347
-
Nets in modeling and simulationNoe, Jerre D. et al. | 1980
- 369
-
Abstractions of net modelsNoe, Jerre D. et al. | 1980
- 389
-
Applications of net-based modelsNoe, Jerre D. et al. | 1980
- 401
-
The application of general net theory — A personal historyShapiro, R. M. et al. | 1980
- 441
-
Petri-nets from the engineer's viewpoint lecture IZuse, Konrad et al. | 1980
- 481
-
Nets as a tool in teaching and in terminology workOberquelle, Horst et al. | 1980
- 507
-
Structured representation of knowledge by Petri nets as an aid for teaching and researchJantzen, M. et al. | 1980
- 519
-
A dictionary of some basic notions of net theoryGenrich, H. J. / Stankiewicz-Wiechno, E. et al. | 1980
- 536
-
Addresses of all authors| 1980