Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer[2014]<M17-15-594>
National Diet Library
  • Subject HeadingPetri nets--Congresses. Petri nets.
  • Author Heading... 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)
Paper図書
Springer[2015]<M17-16-377>
National Diet Library
  • Subject HeadingPetri nets--Congresses. Computer multitasking--Congresses. Computer multitasking. Petri nets.
  • Author Heading... 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.
Paper図書
IEEE[2016]<M17-18-1833>
National Diet Library
  • Subject Heading...)--Congresses. Petri nets--Congresses. ......nic computers) Petri nets. System design.
  • Note (General)... 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)
Paper図書
Springerc2013.<M17-13-3383>
National Diet Library
  • Subject HeadingPetri nets--Congresses.
  • Note (General)Papers. "The Petri Net conferences serve as annual m...
  • Author Heading... 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.
Paper図書
IEEE[2015]<M17-16-2236>
National Diet Library
  • Subject Heading...)--Congresses. Petri nets--Congresses. ......nic computers) Petri nets. System design.
  • Note (General)... and Theory of Petri Nets and Other Mod......f Concurrency (Petri Nets 2015). IEEE catalog number C...
  • Author Heading... 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)
Paper図書
Springerc2010.<M17-11-1908>
National Diet Library
  • Subject HeadingPetri nets. Parallel processing (Electr...
  • Note (General)...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.
Paper図書
IEEEc2012.<M17-13-892>
National Diet Library
  • Subject HeadingSystem design--Congresses. Petri nets--Congresses.
  • Note (General)... 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)
Paper図書
Springerc2013.<M17-14-608>
National Diet Library
  • Subject HeadingPetri nets--Congresses. Computer scienc...
  • Note (General)...ransactions on Petri Nets and Other Mod...... and Theory of Petri Nets and Other Models of Concurre...
  • Author Heading... 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)
Paper図書
Springerc2009.<M17-10-757>
National Diet Library
  • Subject HeadingPetri nets -- Congresses.
  • Note (General)Abstracts and papers. "The Petri Net conferences serve as annual m...
  • Author Heading... 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)
Paper図書
Springerc2009.<M17-10-1380>
National Diet Library
  • Subject HeadingPetri nets. Parallel processing (Electr...
  • Note (General)...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)
Paper図書
Springerc2011.<M17-12-20>
National Diet Library
  • Subject HeadingPetri nets--Congresses. Computer multit...
  • Note (General)Papers. "The Petri Net conferences serve as annual m...
  • Author Heading... 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)
Paper図書
Springerc2008.<M17-08-1816>
National Diet Library
  • Subject HeadingPetri nets -- Congresses.
  • Note (General)Papers and abstracts. "The Petri Net conferences serve as annual m...
  • Author Heading... 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)
Paper図書
Springer[2015]<M17-16-590>
National Diet Library
  • Summary, etc....ations; tools; petri nets, process algebra and fault t...
  • Subject Heading...)--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)
Paper図書
Springer[2014]<M17-15-1638>
National Diet Library
  • Subject Heading...)--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.
Paper図書
Springerc2010.<M154-B111>
National Diet Library
  • Subject HeadingPetri nets. Petri-Netz. Diskretes Syste...

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

大容量交通流のメゾスコピックモデル化手法に関する研究
Digital博士論文障害者向け資料あり
上原, 健嗣2022-09
National Diet Library
  • Subject HeadingTraffic 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)
Paper図書
Springerc2007.<M17-07-2347>
National Diet Library
  • Subject HeadingPetri nets -- Congresses. Multitasking ...
  • Note (General)An abstract and papers. "The Petri Net conferences serve as annual m...
  • Author Heading... 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)
Paper図書
Springerc2004.<M17-05-56>
National Diet Library
  • Subject HeadingPetri nets -- Congresses.
  • Author Heading... 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)
Paper図書
Springerc2013.<M17-13-2734>
National Diet Library
  • Subject HeadingPetri nets--Congresses. Computer scienc...
  • Author Heading...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)
Paper図書
Springerc2003.<M17-04-566>
National Diet Library
  • Subject HeadingPetri nets -- Congresses.
  • Author Heading... and Theory of Petri Nets (24th : 2003 : Eindhoven, Th...
RSS