On Petri nets with deterministic and exponentially distributed firing times (English)
National licence
- New search for: Marsan, M. Ajmone
- New search for: Chiola, G.
- New search for: Marsan, M. Ajmone
- New search for: Chiola, G.
In:
Advances in Petri Nets 1987
;
132-145
;
1987
- Article/Chapter (Book) / Electronic Resource
-
Title:On Petri nets with deterministic and exponentially distributed firing times
-
Contributors:Marsan, M. Ajmone ( author ) / Chiola, G. ( author )
-
Published in:Advances in Petri Nets 1987 ; 132-145Lecture Notes in Computer Science ; 266 ; 132-145
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1987-01-01
-
Size:14 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
-
Specification and properties of a cache coherence protocol modelGirault, C. / Chatelain, C. / Haddad, S. et al. | 1987
- 21
-
GAMERU: A language for the analysis and design of human communication pragmatics within organizational systemsCindio, F. / Michelis, G. / Simone, C. et al. | 1987
- 45
-
Recent results on the complexity of problems related to Petri netsHowell, Rodney R. / Rosier, Louis E. et al. | 1987
- 73
-
Algebraic structure of flows of a regular coloured netHaddad, Serge / Girault, Claude et al. | 1987
- 89
-
On equivalent execution semantics of concurrent systemsJanicki, Ryszard / Koutny, Maciej et al. | 1987
- 104
-
Mathematical methods for calculating invariants in Petri netsKrückeberg, Fritz / Jaxy, Michael et al. | 1987
- 132
-
On Petri nets with deterministic and exponentially distributed firing timesMarsan, M. Ajmone / Chiola, G. et al. | 1987
- 146
-
An accurate performance model of CSMA/CD bus LANMarsan, M. Ajmone / Chiola, G. / Fumagalli, A. et al. | 1987
- 162
-
Petri net models for the λ-calculusMeijer, Erik et al. | 1987
- 181
-
Fair processesMerceron, Agathe et al. | 1987
- 196
-
Operational Petri net semantics for CCSPOlderog, Ernst-Rüdiger et al. | 1987
- 224
-
Infinitary languages of Petri nets and logical sentencesPelz, Elisabeth et al. | 1987
- 238
-
A strong part of concurrencyReisig, Wolfgang et al. | 1987
- 273
-
Concurrency and continuityPetri, C. A. / Smith, E. et al. | 1987
- 293
-
Parallel systems specifications with coloured Petri nets and algebraic specificationsVautherin, Jacques et al. | 1987
- 309
-
Bibliography of Petri netsDrees, Stefan / Gomm, Dominik / Plünnecke, Helmut / Reisig, Wolfgang / Walter, Rolf et al. | 1987