年 〜
年

検索結果 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 Concurre...

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 Concurre...

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. ......nic computers) Petri nets. System design.
  • 一般注記... and Theory of Petri Nets and Other Mod......f Concurrency (Petri Nets 2016)."--Page vii. IEEE cata...

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.
  • 一般注記Papers. "The Petri Net conferences serve as annual m...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurre...

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. ......nic computers) Petri nets. System design.
  • 一般注記... and Theory of Petri Nets and Other Mod......f Concurrency (Petri Nets 2015). IEEE catalog number C...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurre...

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 (Electr...
  • 一般注記...ransactions on Petri Nets and Other Mod...... and Theory of Petri Nets and Other Mod......se of Coloured Petri Nets and the CPN Tools, Aarhus, D...

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 Mod......f Concurrency (Petri Nets 2012)." -- p. vii. IEEE cat ...

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 scienc...
  • 一般注記...ransactions on Petri Nets and Other Mod...... and Theory of Petri Nets and Other Models of Concurre...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurre...

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.
  • 一般注記Abstracts and papers. "The Petri Net conferences serve as annual m...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurre...

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 (Electr...
  • 一般注記...ransactions on Petri Nets and Other Mod...... and Theory of Petri Nets and Other Mod......se of Coloured Petri Nets and the CPN Tools, held in A...

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 multit...
  • 一般注記Papers. "The Petri Net conferences serve as annual m...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurre...

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.
  • 一般注記Papers and abstracts. "The Petri Net conferences serve as annual m...
  • 著者標目... 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 t...
  • 件名...)--Congresses. Petri nets--Congresses. ......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. ......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 Syste...

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

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

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 ...
  • 一般注記An abstract and papers. "The Petri Net conferences serve as annual m...
  • 著者標目... and Theory of Petri Nets and Other Models of Concurre...

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, Ital...

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 scienc...
  • 著者標目...nced Course on Petri Nets" (2010 : Rostock, Germany) J...

Applications and theory of Petri nets 2003 : 24th international conference, ICATPN 2003 : Eindhoven, the Netherlands, June 23-27, 2003 : proceedings. : Jun 2003, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 2679)

Applications and theory of Petri nets 2003 : 24th international conference, ICATPN 2003 : Eindhoven, the Netherlands, June 23-27, 2003 : proceedings. : Jun 2003, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 2679)
紙図書
Springerc2003.<M17-04-566>
国立国会図書館
  • 件名Petri nets -- Congresses.
  • 著者標目... and Theory of Petri Nets (24th : 2003 : Eindhoven, Th...