| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An introduction to generalized stochastic Petri nets
|
Marsan, M.Ajmone
|
|
1991
|
31 |
4 |
p. 699-725
27 p.
|
artikel
|
| 2 |
Calendar of international conferences, symposia, lectures and meetings of interest
|
|
|
1991
|
31 |
4 |
p. 813-815
3 p.
|
artikel
|
| 3 |
Control synthesis based on a graph-theoretical Petri net analysis
|
Seiche, W.
|
|
1991
|
31 |
4 |
p. 563-575
13 p.
|
artikel
|
| 4 |
Fault-tolerant software reliability modeling using Petri nets
|
Leu, Shao-Wei
|
|
1991
|
31 |
4 |
p. 645-667
23 p.
|
artikel
|
| 5 |
Foreword
|
Murata, Tadao
|
|
1991
|
31 |
4 |
p. 559-
1 p.
|
artikel
|
| 6 |
Formulating and solving optimization problems using stochastic timed Petri nets
|
Chen, Po-Zung
|
|
1991
|
31 |
4 |
p. 769-792
24 p.
|
artikel
|
| 7 |
Knowledge net shell (KNS): Petri net based development tool for expert systems
|
Etessami, Farhad S.
|
|
1991
|
31 |
4 |
p. 793-812
20 p.
|
artikel
|
| 8 |
4942577 Logic circuit system with latch circuits for reliable scan-path testing
|
Ozaki, Hidehar
|
|
1991
|
31 |
4 |
p. i-
1 p.
|
artikel
|
| 9 |
Markov chain reduction and analysis of GSPN models for task allocation in distributed systems
|
Murata, Tadao
|
|
1991
|
31 |
4 |
p. 727-746
20 p.
|
artikel
|
| 10 |
Modelling solutions for agreement problems with PrT-nets
|
Johansson, Kaj
|
|
1991
|
31 |
4 |
p. 595-606
12 p.
|
artikel
|
| 11 |
On the analysis of stochastic high level Petri net models
|
Lin, Chuang
|
|
1991
|
31 |
4 |
p. 747-767
21 p.
|
artikel
|
| 12 |
Petri net models of concurrent Ada programs
|
Stansifer, Ryan
|
|
1991
|
31 |
4 |
p. 577-594
18 p.
|
artikel
|
| 13 |
Preface
|
Hura, Gurdeep Singh
|
|
1991
|
31 |
4 |
p. 561-562
2 p.
|
artikel
|
| 14 |
Stochastic Petri nets: Properties, applications and tools
|
Florin, G.
|
|
1991
|
31 |
4 |
p. 669-697
29 p.
|
artikel
|
| 15 |
Timed Petri nets definitions, properties, and applications
|
Zuberek, W.M.
|
|
1991
|
31 |
4 |
p. 627-644
18 p.
|
artikel
|
| 16 |
Validation of a VLSI chip using hierarchical colored Petri nets
|
Shapiro, Robert M.
|
|
1991
|
31 |
4 |
p. 607-625
19 p.
|
artikel
|
Tijdschrift beschrijving