著者典拠情報

著者標目形：
Jensen, K. (Kurt), 1950-
属性：
Personal
日付：
1950-
から見よ参照形：
Jensen, Kurt, 1950-
注記：
High-level Petri nets, c1991: CIP t.p. (K. Jensen) t.p. verso (Kurt Jensen, Computre [sic] Science Dept., Aarhus Univ., Denmark)
Da. statskal. 1988 (Jensen, Kurt, lektor, Datalogisk afd., Aarhus univ., b. 1950)
著者典拠ID：
DA05685904


1.

図書
図書
1. Coloured Petri nets : basic concepts, analysis methods and practical use. 2nd ed (v. 1 : gw ; v. 2 : gw ; v. 2 : us)
Kurt Jensen
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: 研究室
2.

図書
図書
2. Coloured petri nets : basic concepts, analysis methods and practical use (v. 2 : gw ; v. 2 : us ; v. 3 : gw)
Kurt Jensen
出版情報: Berlin ; Tokyo : Springer, c1995-
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: 研究室
3.

図書
図書
3. Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings (: gw ; : us)
K. Jensen, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 616
所蔵情報: 図書館
4.

図書
図書
4. Coloured petri nets : basic concepts, analysis methods and practical use (v. 1 : gw - v. 2 : us)
Kurt Jensen
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992-c1995
シリーズ名: EATCS monographs on theoretical computer science
所蔵情報: 研究室