馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Application and theory of Petri nets, 1992：13th international conference, Sheffield, UK, June 22-26, 1992 : proceedings

Corporate Authors: Sheffield City Polytechnic. School of Computing and Management Sciences.
Group Author: Jensen K.; (Kurt), 1950-
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: O157.5-532/A652/1992/

Book

2

Cover is for reference only

Coloured Petri nets：basic concepts, analysis methods, and practical use.. Vol. 3

Main Authors: Jensen K. (Kurt), 1950-
Published: Springer,
Publication Dates: c1997.
Call Number: O233/J54/v.3/

Book

3

Cover is for reference only

High-level Petri nets：theory and application

Group Author: Jensen K; Kurt, 1950- Rozenberg Grzegorz
Published: Springer-Verlag,
Publication Dates: c1991.

Book

4

Cover is for reference only

Transactions on petri nets and other models of concurrency VII

Corporate Authors: International Summer School "Advanced Course on Petri Nets" Rostock, Germany); SpringerLink (Online service)
Group Author: Jensen, K. (Kurt), 1950-
Published:

Electronic eBook

5

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Corporate Authors: TACAS 2004 (2004 Barcelona, Spain)
Group Author: Jensen K.; (Kurt), 1950-; Podelski Andreas.
Published: Springer-Verlag,
Publication Dates: c2004.
Call Number: TP338.8-532/T671/2004

Book

6

Cover is for reference only

Coloured petri nets：modelling and validation of concurrent systems

Main Authors: Jensen K. (Kurt), 1950-
Corporate Authors: SpringerLink (Online service)
Group Author: Kristensen Lars M.; (Lars Michael)
Published: Springer,
Publication Dates: c2009.

Book

7

Cover is for reference only

Transactions on petri nets and other models of concurrency V

Corporate Authors: SpringerLink (Online service); International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 2010 Braga, Portugal) (Braga, Portugal))
Group Author: Donatelli Susanna.; Kleijn Jetty.; Jensen K.; (Kurt), 1950-
Published: Springer,
Publication Dates: c2012.

Book

8

Cover is for reference only

Transactions on petri nets and other models of concurrency IV

Corporate Authors: SpringerLink (Online serveice); International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 2009 Paris, France) (Paris, France))
Group Author: Donatelli Susanna.; Koutny Maciej, 1958-; Jensen K.; (Kurt), 1950-
Published: Springer,
Publication Dates: 2010.

Book

9

Cover is for reference only

Transactions on petri nets and other models of concurrency III

Corporate Authors: SpringerLink (Online service); International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 2008 Xi'an Shi, China) (Xi'an Shi, China))
Group Author: Billington Jonathan.; Koutny Maciej, 1958-; Jensen K.; (Kurt), 1950-
Published: Springer,
Publication Dates: c2009.

Book

10

Cover is for reference only

Transactions on petri nets and other models of concurrency.. II,, Special issue on concurrency in process-aware information systems

Corporate Authors: SpringerLink (Online service)
Group Author: (Kurt), 1950-; Aalst Wil van der.; Jensen K.
Published: Springer,
Publication Dates: c2009.

Book

11

Cover is for reference only

Transactions on Petri Nets and Other Models of Concurrency.. I

Corporate Authors: SpringerLink (Online service)
Group Author: (Kurt), 1950-; Aalst Wil van der.; Billington Jonathan.; Jensen K.
Published: Springer-Verlag,
Publication Dates: c2008.

Book

Narrow Search