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

메뉴 건너뛰기

Volumn 30, Issue 2, 1994, Pages 175-202

Petri nets for modeling of dynamic systems. A survey

(2) David, René a Alla, Hassane a

a GIPSA LAB (France)

Author keywords

continuous systems; discrete event systems; dynamic systems; modeling; Petri net; properties

Indexed keywords

CONTROL; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; SYNCHRONIZATION; SYSTEMS ANALYSIS;

CONCURRENCY; CONTINUOUS SYSTEMS; DISCRETE EVENT SYSTEMS; DYNAMIC SYSTEMS; RESOURCE SHARING; SYSTEM MODELING;

PETRI NETS;

EID: 0028378348 PISSN: 00051098 EISSN: None Source Type: Journal
DOI: 10.1016/0005-1098(94)90024-8 Document Type: Article

Times cited : (328)

References (46)

1
- 84909874930
- Modélisation par réseaux de Petri hybrides et evaluation de performances de systèmes de production par lots
- LAG no 92-06, March
- (1992) Rapport final de contrat MRT
- Alla¹ Cavaillé² Le Bail³ Bel⁴

2
- 0022201091
- On Petri nets with stochastic timing
- Torino
- (1985) Int. Workshop on Timed Petri Nets
- Ajmone Marsan¹ Balbo² Bobio³ Chiola⁴ Conte⁵ Cumani⁶

3
- 0020245249
- Petri nets theory for correctness of protocols
- (1982) IEEE Trans. Commun. , vol.30 COM , pp. 2497-2505
- Berthelot¹ Terrat²

4
- 0003960904
- Masson, Paris
- (1983) Réseaux de Petri: théorie et pratique
- Brams¹

5
- 0343311362
- Timed continuous Petri nets: a tool for analysis and simulation of discrete event systems
- Ghent
- (1990) 1990 European Simulation Symp.
- Brinkman¹ Blaauboer²

6
- 84909862760
- Modelling scheduling problems with timed Petri nets
- Toulouse
- (1983) 4th European Workshop on Theory and Applications of Petri Nets
- Carlier¹ Chrétienne²

7
- 0024478677
- Algebraic tools for the performance evaluation of discrete event systems
- (1989) Proc. IEEE , vol.77 , pp. 39-57
- Cohen¹ Moller² Quadrat³ Viot⁴

8
- 0000285139
- Improving the linearly based characterization of P/T nets
- Bonn
- (1989) 10th Int. Conf. on Application and Theory of Petri Nets
- Colom¹ Silva²

9
- 0003980808
- Les réseaux de Petri temporisés
- Paris VI University
- (1983) Thèse d'Etat
- Chrétienne¹

10
- 3142637218
- Modeling of dynamic systems by Petri nets
- Grenoble
- (1991) 1st European Control Conf. , pp. 136-147
- David¹

11
- 0003334377
- Continuous Petri nets
- Zaragoza
- (1987) 8th European Workshop on Application and Theory of Petri Nets , pp. 275-294
- David¹ Alla²

12
- 0003930893
- Hermès, Paris
- (1989) Du Grafcet aux réseaux de Petri
- David¹ Alla²

13
- 0343311343
- Autonomous and timed continuous Petri nets
- Paris
- (1990) 11th Int. Conf. on Application and Theory of Petri Nets , pp. 367-386
- David¹ Alla²

14
- 0003925026
- Prentice-Hall, London
- (1992) Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
- David¹ Alla²

15
- 0000099070
- A unified modeling of kanban systems using Petri nets
- (1991) Int. J. Flexible Manufac. Syst. , vol.3 , pp. 275-307
- Di Mascolo¹ Frein² Dallery³ David⁴

16
- 84909849509
- Définition formelle des réseaux de Petri stochastiques
- (1984) Research Report CNAM, Paris
- Florin¹ Natkin²

17
- 84909852310
- Springer, Berlin
- (1983) Application and Theory of Petri Nets
- Genrich¹ Lautenbach²

18
- 0024479894
- Performance evaluation of job-shop system using timed event-graphs
- (1989) IEEE Trans. Aut. Control , vol.34 AC , pp. 3-9
- Hillion¹ Proth²

19
- 0025433819
- Synthesis of feedback control logic for a class of controlled Petri nets
- (1990) IEEE Trans. Aut. Control , vol.35 AC , pp. 514-523
- Holloway¹ Krogh²

20
- 85034857286
- Formal properties of place/transitions nets
- Springer, Berlin
- (1979) Lecture Notes in Computer Science , vol.Vol. 84(15)
- Jantzen¹ Valk²

21
- 84909878875
- How to find invariants for coloured Petri nets
- Aarhus University, Denmark
- (1980) DAIMI PB 120
- Jensen¹

22
- 0000098171
- Coloured Petri nets and the invariant method
- (1981) Theoretical Comp. Sci. , vol.14 , pp. 317-336
- Jensen¹

23
- 0000223972
- Parallel program schemata
- (1969) Journal of Computer and System Sciences , vol.3 , pp. 167-195
- Karp¹ Miller²

24
- 38149056853
- Use of Petri nets for proving correctness of concurrent process systems
- North-Holland, Amsterdam
- (1974) Proc. IFIP Cong. 75 , pp. 187-191
- Lautenbach¹ Schmid²

25
- 0002776136
- Hybrid Petri nets
- Grenoble
- (1991) 1st European Control Conf. , pp. 1472-1477
- Le Bail¹ Alla² David³

26
- 0343747020
- Asymptotic continuous Petri nets
- (1993) Discrete Event Dynamic Systems: Theory and Applications , vol.2 , pp. 235-263
- Le Bail¹ Alla² David³

27
- 4243242565
- Méthodes d'analyse des réseaux de Petri, réseaux à files
- Thèse d'Etat, Paris VI University
- (1983) Applications aux systèmes en temps réels
- Memmi¹

28
- 84909827438
- Réseaux de Petri
- Special Issue
- (1985) TSI—Technique et Science Informatiques , vol.4
- Memmi¹

29
- 84909876657
- Meta Software Corporation, Cambridge, MA
- (1990) Design/CPN
- Meta¹

30
- 0042906968
- Réseaux de Petri interprétés et Grafcet
- (1985) TSI—Technique et Science Informatiques , vol.14 , pp. 17-30
- Moalla¹

31
- 33747404537
- Réseaux de Petri synchronisés
- (1978) J. RAIRO, Automatic Control Series , vol.12 , pp. 103-130
- Moalla¹ Pulou² Sifakis³

32
- 0024645936
- Petri nets: properties, analysis and applications
- (1989) Proc. IEEE , vol.77 , pp. 541-580
- Murata¹

33
- 0003418449
- Prentice-Hall, Englewood Cliffs, NJ
- (1981) Petri Net Theory and the Modelling of Systems
- Peterson¹

34
- 0004068620
- Applied Data REsearch Inc., NY, Suppl. 1 to Tech. Report RADC-TR-65-337
- (1962) Kommunikation mit Automaten, Schriften des Rheinisch Westfalischen Inst. fur Intrumentelle Mathematik and der Universität Bonn
- Petri¹

35
- 0024479313
- The control of discrete event systems
- (1989) Proc. IEEE , vol.77 , pp. 81-98
- Ramadge¹ Wonham²

36
- 0019058848
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
- (1980) IEEE Transactions on Software Engineering , vol.6 SE , pp. 440-449
- Ramamorthy¹ Ho²

37
- 0003576234
- Analysis of Asynchronous Concurrent Systems by Timed Petri Nets
- MIT, Cambridge, MA
- (1973) Ph.D. Thesis
- Ramchandani¹

38
- 0004192908
- Prentice-Hall, London
- (1990) The Mathematics of Petri Nets
- Reutenauer¹

39
- 84909849893
- Lecture notes in Comp. Sci.
- Springer, New York
- (1984) Advances in Petri Nets
- Rosenberg¹

40
- 0002703487
- Use of Petri nets for performance evaluation. Measuring
- H. Beilner, E. Gelenbe, North-Holland, Amsterdam
- (1977) Modelling and Evaluating Computing Systems , pp. 75-93
- Sifakis¹

41
- 0003842336
- Ed. AC, Madrid
- (1985) Las redes de Petri en la Automatica y la Informatica
- Silva¹

42
- 0001153857
- Petri nets and flexible manufacturing
- Springer, Berlin
- (1990) Advances in PN'89, LNCS 84
- Silva¹ Valette²

43
- 0008610425
- Programmable logic controllers and Petri nets
- Madrid
- (1982) IFAC Symp. on Software for Comp. Control , pp. 29-34
- Silva¹ Velilla²

44
- 0002367242
- Analysis of Petri nets by stepwise refinements
- (1979) J. Comp. Syst. Sci. , vol.18 , pp. 35-46
- Valette¹

45
- 84909837942
- Verilog SA, Toulouse
- (1991) Vérifier et évaluer un système avec EVAL
- Verilog¹

46
- 0004102356
- Kluwer Ac, Boston, MA
- (1993) Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
- Zhou¹ DiCesare²

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