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

메뉴 건너뛰기

Fundamenta Informaticae

Volumn 47, Issue 3-4, 2001, Pages 283-293

Nested Petri nets: Multi-level and recursive systems

(1) Lomazova, I A a

a PROGRAM SYSTEMS INSTITUTE (Russian Federation)

Author keywords

Decidability; Hierarchical multi agent systems; Nested Petri nets; Well structured transition systems

Indexed keywords

HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; RECURSIVE FUNCTIONS; SYNCHRONIZATION;

NESTED PETRI NETS (NP-NETS);

PETRI NETS;

EID: 0035429120 PISSN: 01692968 EISSN: None Source Type: Journal
DOI: None Document Type: Article

Times cited : (49)

References (18)

1
- 0006763720
- On languages of nested Petri nets
- Pereslavl-Zalessky, December 6-9, 1999 Nauka, Moscow, In Russian
- (1999) Proc. Int. Conf. ICIT'99 , pp. 9-13
- Bashkin, V.A.¹ Lomazova, I.A.²

2
- 84943296591
- Structured nets
- Proc. of the 6th MFCS, Springer-Verlag
- (1981) LNCS , vol.118 , pp. 242-251
- Cherkasova, L.A.¹ Kotov, V.E.²

3
- 84878552622
- Reset nets between decidability and undecidability
- Proc. 25th Int. Coll. Automata, Languages, and Programming (ICALP'98), Springer
- (1998) LNCS , vol.1443 , pp. 103-115
- Dufourd, C.¹ Finkel, A.² Schnoebelen, Ph.³

4
- 0001103902
- A linear logic view of object Petri nets
- (1999) Fundamenta Informaticae , vol.37 , Issue.3 , pp. 225-246
- Farwer, B.¹

5
- 0003861083
- Dissertation, Logos Verlag, ISBN 3-89722-539-5, Berlin
- (2000) Linear logic based calculi for object Petri nets
- Farwer, B.¹

6
- 0025628292
- Reduction and covering of infinite reachability trees
- (1990) Information and Computation , vol.89 , Issue.2 , pp. 144-179
- Finkel, A.¹

7
- 84949199357
- Fundamental structures in well-structured infinite transition systems
- Proc. 3rd Latin American Theoretical Informatics Symposium (LATIN'98), Campinas, Brazil, Apr. 1998, Springer
- (1998) LNCS , vol.1380 , pp. 102-118
- Finkel, A.¹ Schnoebelen, Ph.²

8
- 84958976823
- Theoretical aspects of recursive Petri nets
- Proc. ATPN'99, Springer
- (1999) LNCS , vol.1639 , pp. 228-247
- Haddad, S.¹ Poitrenand, D.²

9
- 84916498981
- Well-quasi-ordering, the tree theorem, and Vásonyi's conjecture
- (1960) Trans. Amer. Math. Soc. , vol.95 , pp. 210-225
- Kruskal, J.B.¹

10
- 0034250902
- Nested Petri nets - A formalism for specification and verification of multi-agent distributed systems
- (2000) Fundamenta Informaticae , vol.43 , Issue.1-4 , pp. 195-214
- Lomazova, I.A.¹

11
- 84943272789
- Some decidability results for nested Petri nets
- Proc. Andrei Ershov 3rd Int. Conf. Perspectives of System Informatics (PSI'99), Novosibirsk, Russia, Jul. 1999, Springer-Verlag
- (1999) LNCS , vol.1755 , pp. 207-219
- Lomazova, I.A.¹ Schnoebelen, Ph.²

12
- 84971128444
- On well-quasi-ordering finite trees
- Proc. of the Cambridge Philosophical Society , vol.59 , Issue.4 , pp. 833-835
- Nash-Williams, C.St.J.A.¹

13
- 0003314855
- Workflow modelling and analysis with chameleon nets
- H.-D. Burkhard, L. Czaja and P. Starke (eds.), 28-30 September 1998, Humboldt-Universitat, Informatik-Berichte, No 110. Berlin
- (1998) Workshop Concurrency, Specification and Programming , pp. 156-161
- Neuendorf, K.-P.¹ Schmidt, K.² Kiritsis, D.³ Xirouchakis, P.⁴

14
- 0001870267
- Chameleon systems - A class of multi-level Petri nets
- S. Philippi (ed.), 2.-3. Oktober 2000, Koblenz, Germany. Fachberichte Informatik, No 7, Universitat Koblenz-Landau, Institut für Informatik
- (2000) Workshop Algorithmen und Werkzeuge für Petrinetze , pp. 90-95
- Neuendorf, K.-P.¹ Kiritsis, D.² Xirouchakis, P.³

15
- 0006799508
- Unpublished manuscript
- (1995) Reachability in Petri nets with inhibitor arcs
- Reinhardt, K.¹

16
- 84957613488
- Petri nets as token objects: An introduction to elementary object nets
- Proc. Int. Conf. on Application and Theory of Petri Nets, Springer-Verlag
- (1998) LNCS , vol.1420 , pp. 1-25
- Valk, R.¹

17
- 0003861085
- Technical report, FBI-HH-B-226/00, Dept. of Computer Sience, University of Hamburg
- (2000) Relating different semantics for object Petri nets
- Valk, R.¹

18
- 0006805428
- Techniques for integrating Petri nets and object-oriented concepts
- University of Bayreuth
- (1998) Working Papers in Information Systems , vol.1 , Issue.1998
- Zapf, M.¹ Heinzl, A.²

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