上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Petri nets)
該当件数:28件
Unifying Petri nets : advances in Petri nets / Hartmut Ehrig, ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2128)
図書 <1001353347>
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings / José-Manuel Colom, Maciej Koutny (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2075)
図書 <1001289739>
Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings / Robert Valette (ed.)
: New York,: Berlin. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 815)
図書 <1000499796>
Lectures on Petri nets : advances in Petri nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.)
v. 2 - 2 : alk. paper. - New York : Springer , 1998. - (Lecture notes in computer science ; 1491-1492)
図書 <1001038147>
Application and theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings / Mogens Nielsen, Dan Simpson (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1825)
図書 <1001158926>
Application and theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / Susanna Donatelli, Jetty Kleijn (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1639)
図書 <1001063810>
Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings / K. Jensen, ed
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 616)
図書 <1000451160>
Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings / Marco Ajmone Marsan (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 691)
図書 <1000477717>
Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings / Giorgio de Michelis, Michel Diaz (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 935)
図書 <1000522177>
Application and theory of Petri nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings / Jonathan Billington, Wolfgang Reisig (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1091)
図書 <1000539485>
Application and theory of Petri nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azéma, Gianfranco Balbo (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1248)
図書 <1000553494>
Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings / Jörg Desel, Manuel Silva (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1420)
図書 <1000560187>
Modular construction and partial order semantics of Petri Nets / W. Vogler
: us,: gw. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 625)
図書 <1000453458>
Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986
pt. 1,pt. 2. - Berlin : Springer-Verlag , 1987. - (Lecture notes in computer science ; 254-255)
図書 <1000627419>
Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2001)
図書 <1001263046>
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
Berlin ; New York : Springer , c2003
図書 <1001425390>
Application of Petri nets to communication networks : advances in Petri nets / Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1605)
図書 <0219019310>
Advances in Petri nets, 1984 / edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science ; 188)
図書 <1000587010>
Advances in Petri nets, 1985 / edited by G. Rozenberg
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 222)
図書 <1000587420>
Advances in Petri nets, 1987 / Grzegorz Rozenberg, ed
Berlin ; New York : Springer-Verlag , 1987. - (Lecture notes in computer science. ; 266)
図書 <1000587432>