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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 262, Issue 1-2, 2001, Pages 285-310

Algebraic nets with flexible arcs

(2) Kindler, Ekkart a Völzer, Hagen a

a HUMBOLDT UNIVERSITY (Germany)

Author keywords

Algebraic Petri nets; Flexible arcs; Linear algebraic verification techniques; Place invariants

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; LINEAR ALGEBRA; MATHEMATICAL MODELS;

ALGEBRAIC PETRI NETS; LINEAR ALGEBRA VERIFICATION TECHNIQUE; PLACE INVARIANTS;

PETRI NETS;

EID: 0034926428 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00205-X Document Type: Article

Times cited : (3)

References (27)

1
- 84958951793
- Verifying intuition - ILF checks DAWN proofs
- S. Donatelli, J. Kleijn (Eds.), Application and Theory of Petri Nets, 20th Internat. Conf., Springer, Berlin, June 1999
- (1999) Lecture Notes in Computer Science , vol.1639 , pp. 404-423
- Baar, T.¹ Kindler, E.² Völzer, H.³

2
- 0013270562
- Springer, Berlin
- (1988) Nonsequential Processes
- Best, E.¹ Fernández, C.²

3
- 0004460192
- Extending Coloured Petri Nets, Computer Laboratory, University of Cambridge, Cambridge, October
- (1988) Tech. Rep. , vol.148
- Billington, J.¹

4
- 0004495862
- Extensions to coloured Petri nets and their application to protocols, University of Cambridge, Cambridge, May
- (1991) Tech. Rep. No. , vol.222
- Billington, J.¹

5
- 0004487694
- A group-theoretical approach to Petri nets, preprint
- (1998) Tech. Rep.
- Brosowski, B.¹

6
- 0004462378
- On the design and verification of a simple distributed spanning tree algorithm, 342/24/90 A, Technische Universtität München, December
- (1990) SFB-Bericht
- Broy, M.¹

7
- 0030574533
- Proving nonreachability by modulo-invariants
- (1996) Theoret. Comput. Sci. , vol.153 , pp. 49-64
- Desel, J.¹ Neuendorf, K.-P.² Radola, M.-D.³

8
- 0004462613
- Springer, Berlin
- (1985) Equations and Initial Semantics 1, Fundamentals of Algebraic Specifications , vol.1
- Ehrig, H.¹ Mahr, B.²

9
- 0020746487
- The non-sequential behaviour of Petri nets
- (1983) Inform. and Control , vol.57 , pp. 125-147
- Goltz, U.¹ Reisig, W.²

10
- 0003871155
- Coloured Petri Nets
- Springer, Berlin
- (1995) Analysis Methods , vol.2
- Jensen, K.¹

11
- 0004483015
- Algebraic system nets for modelling distributed algorithms
- (1996) Petri Net Newslett. , vol.51 , pp. 16-31
- Kindler, E.¹ Reisig, W.²

12
- 0039636679
- Verification of distributed algorithms with algebraic Petri nets
- C. Freksa, M. Jantzen, R. Valk (Eds.), Foundations of Computer Science: Potential - Theory - Cognition, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1337 , pp. 261-270
- Kindler, E.¹ Reisig, W.²

13
- 0000778730
- Petri net based verification of distributed algorithms: An example
- (1997) Formal Aspects Comput. , vol.9 , pp. 409-424
- Kindler, E.¹ Reisig, W.² Völzer, H.³ Walter, R.⁴

14
- 84957714745
- Flexibility in algebraic nets
- J. Desel, M. Silva (Eds.), Application and Theory of Petri Nets 1998, 19th Internat. Conf., Springer, Berlin, June
- (1998) Lecture Notes in Computer Science , vol.1420 , pp. 345-364
- Kindler, E.¹ Völzer, H.²

15
- 0004482460
- The dimensions of Petri nets: The Petri net cube
- (1998) EATCS Bull. , vol.66 , pp. 155-166
- Kindler, E.¹ Weber, M.²

16
- 85027625952
- Linear algebra in net theory
- W. Brauer (Ed.), Net Theory and Applications, Springer, Berlin, October
- (1979) Lecture Notes in Computer Science , vol.84 , pp. 213-223
- Memmi, G.¹ Roucairol, G.²

17
- 0025500231
- Petri nets are monoids
- (1990) Inform. and Comput. , vol.88 , pp. 105-155
- Meseguer, J.¹ Montanari, U.²

18
- 0004462127
- Ph.D. Thesis, Technische Universität Berlin, February
- (1996) Abstract Petri nets: uniform approach and rule-based refinement
- Padberg, J.¹

19
- 0003418449
- Prentice-Hall, Englewood Cliffs, NJ
- (1981) Petri Net Theory and the Modeling of Systems
- Peterson, J.L.¹

20
- 0004232902
- Springer, Berlin
- (1985) Petri Nets
- Reisig, W.¹

21
- 0026122705
- Petri nets and algebraic specifications
- (1991) Theoret. Comput. Sci. , vol.80 , pp. 1-34
- Reisig, W.¹

22
- 0004736309
- Petri net models of distributed algorithms
- J. van Leeuwen (Ed.), Computer Science Today: Recent Trends and Developments, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1000 , pp. 441-454
- Reisig, W.¹

23
- 21744433106
- Verification of siphons and traps for algebraic Petri nets
- P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, 18th Internat. Conf., Springer, Berlin, June 1997
- (1997) Lecture Notes in Computer Science , vol.1248 , pp. 427-446
- Schmidt, K.¹

24
- 0004462128
- The semantics of a net is a net, an exercise in general net theory
- K. Voss, H. Genrich, G. Rozenberg (Eds.). Springer, Berlin
- (1987) Concurrency and Nets
- Smith, E.¹ Reisig, W.²

25
- 0004518086
- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling
- M.A. Marsan (Ed.), Application and Theory of Petri Nets 1993, 14th Internat. Conf., Springer, Berlin, June
- (1993) Lecture Notes in Computer Science , vol.691 , pp. 431-452
- Valk, R.¹

26
- 30244527508
- Parallel systems specifications with coloured Petri nets and algebraic specifications
- G. Rozenberg (Ed.), Advances in Petri Nets, Springer, Berlin
- (1987) Lecture Notes in Computer Science , vol.266 , pp. 293-308
- Vautherin, J.¹

27
- 0004462986
- DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen
- Humboldt-Universität zu Berlin, December
- (1997) Informatik-Bericht , vol.88
- Weber, M.¹ Walter, R.² Völzer, H.³ Vesper, T.⁴ Reisig, W.⁵ Peuker, S.⁶ Kindler, E.⁷ Freiheit, J.⁸ Desel, J.⁹

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