本文に飛ぶ

年 〜
年

検索結果 155 件

Application and theory of Petri nets and concurrency : 35th international conference, PETRI NETS 2014 : Tunis, Tunisia, June 23-27, 2014 : proceedings : Jun 2014, Tunis, Tunisia. (Lecture Notes in Computer Science ; 8489)

Application and theory of Petri nets and concurrency : 35th international conference, PETRI NETS 2014 : Tunis, Tunisia, June 23-27, 2014 : proceedings : Jun 2014, Tunis, Tunisia. (Lecture Notes in Computer Science ; 8489)
紙図書
Springer[2014]<M17-15-594>
国立国会図書館
  • 件名Petri nets--Congresses. Petri nets.
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015 : Brussels, Belgium, June 21-26, 2015 : proceedings : Jun 2015, Brussels, Belgium. (Lecture Notes in Computer Science ; 9115)

Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015 : Brussels, Belgium, June 21-26, 2015 : proceedings : Jun 2015, Brussels, Belgium. (Lecture Notes in Computer Science ; 9115)
紙図書
Springer[2015]<M17-16-377>
国立国会図書館
  • 件名Petri nets--Congresses. Computer multitasking--Congresses. Computer multitasking. Petri nets.
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

2016 16th international conference on application of concurrency to system design : (ACSD 2016) : Torun, Poland : 19-24 June 2016 : Jun 2016, Torun, Poland.

2016 16th international conference on application of concurrency to system design : (ACSD 2016) : Torun, Poland : 19-24 June 2016 : Jun 2016, Torun, Poland.
紙図書
IEEE[2016]<M17-18-1833>
国立国会図書館
  • 件名...)--Congresses. Petri nets--Congresses. P......nic computers) Petri nets. System design.
  • 一般注記... and Theory of Petri Nets and Other Mode......f Concurrency (Petri Nets 2016)."--Page vii. IEEE catal...

Application and theory of Petri nets and concurrency : 34th international conference, PETRI NETS 2013 : Milan, Italy, June 24-28, 2013 : proceedings : Petri net conferences : Jun 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7927)

Application and theory of Petri nets and concurrency : 34th international conference, PETRI NETS 2013 : Milan, Italy, June 24-28, 2013 : proceedings : Petri net conferences : Jun 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7927)
紙図書
Springerc2013.<M17-13-3383>
国立国会図書館
  • 件名Petri nets--Congresses.
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

2015 15th international conference on application of concurrency to system design : (ACSD 2015) : Brussels, Belgium : 21-26 June 2015 : Jun 2015, Brussels, Belgium.

2015 15th international conference on application of concurrency to system design : (ACSD 2015) : Brussels, Belgium : 21-26 June 2015 : Jun 2015, Brussels, Belgium.
紙図書
IEEE[2015]<M17-16-2236>
国立国会図書館
  • 件名...)--Congresses. Petri nets--Congresses. P......nic computers) Petri nets. System design.
  • 一般注記... and Theory of Petri Nets and Other Mode......f Concurrency (Petri Nets 2015). IEEE catalog number CF...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

Transactions on Petri nets and other models of concurrency 4. : 30th international conference on application and theory of Petri nets and other models of concurrency : 10th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : 2009, ------. (Lecture Notes in Computer Science ; 6550. Journal Subline)

Transactions on Petri nets and other models of concurrency 4. : 30th international conference on application and theory of Petri nets and other models of concurrency : 10th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : 2009, ------. (Lecture Notes in Computer Science ; 6550. Journal Subline)
紙図書
Springerc2010.<M17-11-1908>
国立国会図書館
  • 件名Petri nets. Parallel processing (Electro...
  • 一般注記...ransactions on Petri Nets and Other Mode...... and Theory of Petri Nets and Other Mode......se of Coloured Petri Nets and the CPN Tools, Aarhus, De...

2012 12th international conference on application of concurrency to system design : (ACSD 2012) : Hamburg, Germany : 27-29 June 2012 : Jun 2012, Hamburg, Germany.

2012 12th international conference on application of concurrency to system design : (ACSD 2012) : Hamburg, Germany : 27-29 June 2012 : Jun 2012, Hamburg, Germany.
紙図書
IEEEc2012.<M17-13-892>
国立国会図書館
  • 件名System design--Congresses. Petri nets--Congresses.
  • 一般注記... and Theory of Petri Nets and Other Mode......f Concurrency (Petri Nets 2012)." -- p. vii. IEEE cat n...

Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)

Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)
紙図書
Springerc2013.<M17-14-608>
国立国会図書館
  • 件名Petri nets--Congresses. Computer science...
  • 一般注記...ransactions on Petri Nets and Other Mode...... and Theory of Petri Nets and Other Models of Concurren...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009 : Paris, France, June 22-26, 2009 : proceedings. : 30th international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2009, Paris, France. (Lecture Notes in Computer Science ; 5606)

Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009 : Paris, France, June 22-26, 2009 : proceedings. : 30th international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2009, Paris, France. (Lecture Notes in Computer Science ; 5606)
紙図書
Springerc2009.<M17-10-757>
国立国会図書館
  • 件名Petri nets -- Congresses.
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

Transactions on Petri nets and other models of concurrency 3. : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : 29th international conference on application and theory of Petri nets and other models concurrency : 8th and 9th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5800. Journal Subline)

Transactions on Petri nets and other models of concurrency 3. : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : 29th international conference on application and theory of Petri nets and other models concurrency : 8th and 9th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5800. Journal Subline)
紙図書
Springerc2009.<M17-10-1380>
国立国会図書館
  • 件名Petri nets. Parallel processing (Electro...
  • 一般注記...ransactions on Petri Nets and Other Mode...... and Theory of Petri Nets and Other Mode......se of Coloured Petri Nets and the CPN Tools, held in Aa...

Applications and theory of Petri nets : 32nd international conference, PETRI NETS 2011 : Newcastle, UK, June 20-24, 2011 : proceedings : 32nd international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2011, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 6709)

Applications and theory of Petri nets : 32nd international conference, PETRI NETS 2011 : Newcastle, UK, June 20-24, 2011 : proceedings : 32nd international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2011, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 6709)
紙図書
Springerc2011.<M17-12-20>
国立国会図書館
  • 件名Petri nets--Congresses. Computer multita...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008 : Xi'an, China, June 23-27, 2008 : proceedings. : 29th international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2008, Xi'an, China. (Lecture Notes in Computer Science ; 5062)

Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008 : Xi'an, China, June 23-27, 2008 : proceedings. : 29th international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2008, Xi'an, China. (Lecture Notes in Computer Science ; 5062)
紙図書
Springerc2008.<M17-08-1816>
国立国会図書館
  • 件名Petri nets -- Congresses.
  • 著者標目... and Theory of Petri Nets (29th : 2008 : Xi'an, China)

Quantitative evaluation of systems : 12th international conference, QEST 2015 : Madrid, Spain, September 1-3, 2015 : proceedings : Sep 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9259)

Quantitative evaluation of systems : 12th international conference, QEST 2015 : Madrid, Spain, September 1-3, 2015 : proceedings : Sep 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9259)
紙図書
Springer[2015]<M17-16-590>
国立国会図書館
  • 要約等...ations; tools; petri nets, process algebra and fault tr...
  • 件名...)--Congresses. Petri nets--Congresses. M......achine theory. Petri nets. Reliability (Engineering)

Quantitative evaluation of systems : 11th international conference, QEST 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8657)

Quantitative evaluation of systems : 11th international conference, QEST 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8657)
紙図書
Springer[2014]<M17-15-1638>
国立国会図書館
  • 件名...)--Congresses. Petri nets--Congresses. M......achine theory. Petri nets. Reliability (Engineering)

Discrete, continuous, and hybrid Petri nets / René David and Hassane Alla. 2nd ed.

Discrete, continuous, and hybrid Petri nets / René David and Hassane Alla. 2nd ed.
紙図書
Springerc2010.<M154-B111>
国立国会図書館
  • 件名Petri nets. Petri-Netz. Diskretes System...

大容量交通流のメゾスコピックモデル化手法に関する研究

大容量交通流のメゾスコピックモデル化手法に関する研究
デジタル博士論文障害者向け資料あり
上原, 健嗣2022-09
国立国会図書館
  • 件名Traffic flow simulation Mesoscopic model Object Petri nets Process Mining Trajectory clu...

Paradigms of concurrency : observations, behaviours and systems - a Petri net view hbk.

Paradigms of concurrency : observations, behaviours and systems - a Petri net view hbk.
紙図書
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz MikulskiSpringer2022
全国の図書館
  • 件名Petri nets
  • 件名（識別子）Petri nets

Petri nets and other models of concurrency -- ICATPN 2007 : 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007 : Siedlce, Poland, June 25-29, 2007 : proceedings. : Petri net conferences : Jun 2007, Siedlce, Poland. (Lecture Notes in Computer Science ; 4546)

Petri nets and other models of concurrency -- ICATPN 2007 : 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007 : Siedlce, Poland, June 25-29, 2007 : proceedings. : Petri net conferences : Jun 2007, Siedlce, Poland. (Lecture Notes in Computer Science ; 4546)
紙図書
Springerc2007.<M17-07-2347>
国立国会図書館
  • 件名Petri nets -- Congresses. Multitasking (...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurren...

Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004 : Bologna, Italy, June 21-25, 2004 : proceedings. : Jun 2004, Bologna, Italy. (Lecture Notes in Computer Science ; 3099)

Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004 : Bologna, Italy, June 21-25, 2004 : proceedings. : Jun 2004, Bologna, Italy. (Lecture Notes in Computer Science ; 3099)
紙図書
Springerc2004.<M17-05-56>
国立国会図書館
  • 件名Petri nets -- Congresses.
  • 著者標目... and Theory of Petri Nets (25th : 2004 : Bologna, Italy...

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)
紙図書
Springerc2013.<M17-13-2734>
国立国会図書館
  • 件名Petri nets--Congresses. Computer science...
  • 著者標目...nced Course on Petri Nets" (2010 : Rostock, Germany) Je...
RSS