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

메뉴 건너뛰기

International Journal of Smart Engineering System Design

Volumn 3, Issue 2, 2001, Pages 81-97

High Level Petri Nets and rule based systems for discrete event system modelling

(3) Burdescu, D D a Brezovan, M a Marghitu, D B a

a AUBURN UNIVERSITY (United States)

Author keywords

Algebraical specifications; Discrete event systems; Petri nets; Rule based systems; System modelling

Indexed keywords

ALGORITHMS; HIGH LEVEL LANGUAGES; KNOWLEDGE BASED SYSTEMS; LINEAR ALGEBRA; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS;

ALGEBRAICAL SPECIFICATIONS; DISCRETE EVENT SYSTEMS; HIGH LEVEL PETRI NETS; SYSTEM MODELLING;

SYSTEMS ANALYSIS;

EID: 0034792551 PISSN: 10255818 EISSN: None Source Type: Journal
DOI: None Document Type: Article

Times cited : (3)

References (28)

1
- 0022807124
- Production based language simulation of petri nets
- (1986) Simulation , vol.47 , pp. 191-198
- Bauman, R.¹ Turano, T.A.²

2
- 0022670962
- Process-translatable petri nets for the rapid prototyping of process control systems
- (1986) IEEEE Transactions on Software Engineering , vol.12 SE , Issue.2 , pp. 346-357
- Bruno, G.¹ Marchetto, G.²

3
- 0003126559
- On software implementation of petri nets and coloured petri nets using high-level concurrent languages
- (1986) European Workshop on Application and Theory of Petri Nets , pp. 207-241
- Colom, J.M.¹ Silva, M.² Villarroel, J.L.³

4
- 72749120500
- Fundamentals of algebraic specifications
- (Springer-Verlag)
- (1985) Vol. 6 of EATCS Monograph in Theoretical Computer Science
- Ehrig, H.¹ Mahr, B.²

5
- 0003125685
- Rule-based programming, predicate/transition nets and the modeling of the procedures and flexible manufacturing systems
- (June)
- (1989) Proc. of the 10th International Conference on Applications and Theory of Petri Nets
- Fleischack, H.¹ Weber, A.²

6
- 0020177941
- RETE: A fast algorithm for many pattern/many objects
- (1982) Artificial Intelligence , vol.19 , pp. 17-37
- Forgy, C.¹

7
- 84874267738
- Predicate/transition nets
- (1987) Lecture Notes in Computer Science , vol.254 , pp. 207-247
- Genrich, H.J.¹

8
- 84957711411
- A formal definition of hierarchical predicate transition nets
- (1996) Lecture Notes in Computer Science , vol.1091 , pp. 212-229
- He, X.¹

9
- 0343144868
- Coloured petri nets
- (1986) Lecture Notes in Computer Science , vol.254 , pp. 248-299
- Jensen, K.¹

10
- 0003277883
- Coloured petri nets. Basic concepts, analysis methods and practical use. Vol. 1: Basic concepts
- (1992) EATCS Monographs on Theoretical Computer Science
- Jensen, K.¹

11
- 0003492968
- Jensen, K. and Rozenberg, G. (Eds.); (Springer-Verlag New York)
- (1991) High-Level Petri Nets

12
- 84886882505
- A language for the description concurrent systems modelled by coloured petri nets: Application to the control of flexible manufacturing systems
- (Plenum Publishing Co.)
- (1985) Chapter 8 in Languages for Automation , pp. 369-388
- Martinez, J.¹ Silva, M.²

13
- 0023214085
- Modelling, validation and software implementation of production systems using high level petri nets
- (1987) Proc. of the IEEE International Conference in Robotics and Automation , pp. 1180-1185
- Martinez, J.¹ Muro, P.R.² Silva, M.³

14
- 0003258405
- Merging artificial intelligence techniques and petri nets for real-time scheduling and control of production systems
- (1988) Proc. of the 12th IMACS World Congress on Scientific Computation , vol.3 , pp. 528-531
- Martinez, J.M.¹ Muro, P.R.² Silva, M.³ Smith, S.F.⁴ Villarroel, J.L.⁵

15
- 0023326135
- A predicate-transition net model for parallel interpretation of logic programs
- (1988) IEEE Transactions on Software Engineering , vol.14 , Issue.1
- Murata, T.¹ Zhang, D.²

16
- 0020821954
- Casting petri nets into programs
- (1983) IEEE Transactions on Software Engineering , vol.9 , Issue.5 , pp. 590-602
- Nelson, R.A.¹ Haibt, L.M.² Sheridan, P.B.³

17
- 0024611746
- Proof procedure and answer extraction in petri net model of logic programs
- (1989) IEEE Transactions on Software Engineering , vol.15 , Issue.2
- Peterka, G.¹ Murata, T.²

18
- 0030083793
- Hierarchical time-extended petri nets (H-EPNs) based error identification and recovery for hierarchical systems
- (Feb.)
- (1996) IEEE Transactions on Systems, Man and Cybernetics
- Ramaswamy, S.¹ Valavanis, K.P.²

19
- 0026122705
- Petri nets and algebraic specifications
- (1991) Theoretical Computer Science , vol.80 , pp. 1-34
- Reisig, W.¹

20
- 0003125693
- An algebraic approach to high level petri nets
- Zaragoza
- (1987) Proc. of the Workshop on Applications and Theory of Petri Nets , pp. 51-72
- Reisig, W.¹ Vautherin, J.²

21
- 0023168114
- Joining petri nets and knowledge based systems for monitoring purposes
- (1987) Proc. of the IEEE International Conference on Robotics and Automation , pp. 1861-1867
- Sahroui, A.¹ Atabakhche, H.² Courvoisier, M.³ Valette, R.⁴

22
- 16244406734
- High-level petri nets with data structures
- Proc. of the 6th European Workshop on Application and Theory of Petri Nets (June 1985)
- Sibertin-Blanc, C.¹

23
- 0002703487
- Use of petri nets for performance evaluation
- (North-Holland)
- (1977) Measuring, Modeling and Evaluating Computer Systems , pp. 75-93
- Sifakis, J.¹

24
- 0003351521
- On the implementation of petri nets
- (1988) Lecture Notes in Computer Science , vol.340
- Taubner, D.¹

25
- 0003191889
- Petri nets for control and monitoring: Specification, verification, implementation
- (1995) Proc. of the Workshop "Analysis and Design of Event-Driven Operations in Process Systems", London
- Valette, R.¹

26
- 0003256063
- Software implementation of petri nets and compilation rule-based systems
- (1991) Lecture Notes in Computer Science , vol.524 , pp. 296-316
- Valette, R.¹ Bako, B.²

27
- 0042603151
- Integration of a data model and high-level petri nets
- (1991) Lecture Notes in Computer Science
- Van Hee, K.M.¹ Verkoulen, P.A.C.²

28
- 0001778966
- Use of production systems for modelling asynchronous concurrent processes
- (1978) Pattern Directed Inference Systems (Academic Press) , pp. 53-68
- Zisman, M.D.¹

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