「Applications and theory of Petri Nets」のOpenURLのAPI検索結果 | NDLサーチ

検索結果 75 件

タイトルでまとめる

ペトリネットの理論と応用 (小特集システム数理の現状と展望)

紙記事

宮本俊幸<Z16-192>電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers105(2)=1174:2022.2p.106-112

国立国会図書館全国の図書館

並列タイトル等（連結）Application and Theory of Petri Nets
並列タイトル等Application and Theory of Petri Nets

Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012 : Hamburg, Germany, June 25-29, 2012 : proceedings : 33rd international conference on application and theory of Petri nets and concurrency : Petri net conferences : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 7347)

紙図書

Springerc2012.<M17-13-554>

国立国会図書館

件名Petri nets--Congresses. C......uter science. Software engineeri......evices. Logics and Meanings of Programs. Probability and Statistics in Computer Scienc...
一般注記Papers. "The Petri Net conferences serve as annu...
タイトル標目...mputer science and general issues.

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...
一般注記..."The 8th issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (T......ntains revised and extended versions of a selection of the best paper...... the workshops and tutorials held......on Application and Theory of Petri Nets and Other Models of Concurrency, (...)" -- pref. ...
著者標目... Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (33rd : 2012 : Ha...

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>

国立国会図書館

ジャンル・形式用語Conference papers and proceedings.
件名Petri nets--Congresses. Computer multitasking--Congresses. Computer multitasking. Petri nets.
一般注記Papers. "This series of conferences servies as an ann...

Transactions on Petri nets and other models of concurrency 5 : 31st international conference on application and theory of Petri nets and other models of concurrency : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2010, Braga, Portugal. (Lecture Notes in Computer Science ; 6900. Journal Subline)

紙図書

Springerc2012.<M17-13-59>

国立国会図書館

件名Petri nets--Congresses. C......ion Networks. Software engineeri......g. Information theory. Computer software. Computer......lation. Models and Principles. Theory of Computation. A......rithm Analysis and Problem Complexity.
一般注記...he fifth issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (T......ntains revised and extended versions of a selection of the best paper...... the workshops and tutorials held......on Application and Theory of Petri Nets and Other Models of Concurrency, (...)" -- pref. ...
著者標目... Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st : 2010 : Br...

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.
一般注記An abstract and papers. "This series of conferences serves as annual ...
タイトル標目...mputer science and general issues.

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...
一般注記Papers. "The Petri Net conferences serve as annu...
タイトル標目...mputer science and general issues.

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 annu...
タイトル標目LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Handbook of RAMS in Railway Systems : theory and practice

紙図書

edited by Qamar Mahboob, Enrico Zio.CRC Press[2018]<NC21-D2>

国立国会図書館

要約等"The Handbook of RAMS in Railway Systems: Theory and Practice addre...... use computers and electromechani......g a high level of safety. RAM (R......specifications and standards that manufacturers and operators have......mplementation, and assessment of RAM and safety require......he integration of railway engine......; mathematical and statistical methods; standards compliance; and financial/econ......factors. This Handbook brings together a group of experts to present RAM and safety in a modern, comprehen...
内容細目...ication; Table of Contents; Pref......e Requirements of Railway RAM, Safety, and Related Genera......1 Introduction and Background; 1.......d RAM, Safety, and General Manage......r RAM Analysis and Decision Makin...... Failure Modes and Effects Analys.......2.1 Procedure of an FMEA; 2.2.2.......2.3 Strengths and Limitations 2.......Block Diagrams and Boolean Method.......2 Qualitative and Quantitative A.......3.3 Strengths and Limitations; 2......lysis; 2.4.1 Standard FTA Methodology and Construction G.......2 Qualitative and Quantitative A......ategies; 2.4.4 Applications in Railway Ind.......4.5 Strengths and Limitations; 2.5 Event Tree A...
件名...obiles--Design and construction. TECHNOLOGY & EN...

Applications and theory of petri nets : 31st international conference, PETRI NETS 2010 : Braga, Portugal, June 21-25, 2010 : proceedings. : 31th [i.e. 31st] international conference on applications and theory of petri nets and other models of concurrency : Petri net conferences : Jun 2010, Braga, Portugal. (Lecture Notes in Computer Science ; 6128)

紙図書

Springerc2010.<M17-10-3393>

国立国会図書館

件名Petri-Netz. Braga <2010>
一般注記Papers and an abstract. "The Petri Net conferences serve as annu...
著者標目University of Minho. Instituto Politecnico ...

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 annu...
タイトル標目...mputer science and general issues.

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 conference......ced tutorials, and four workshops." -- pref.
著者標目...ina. Institute of Computing Theory and Technology. He...... Conference on Applications and Theory of Petri Nets (29th : 2008 : Xi'an, China)

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...
一般注記...e fourth issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (T......ntains revised and extended versions of a selection of the best paper......on Application and Theory of Petri Nets and Other Models of Concurrency, P......e 22-26, 2009, and from the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmar...

Transactions on Petri nets and other models of concurrency 1. : 28th international conference on application and theory of Petri nets and other models of concurrency : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2007, Siedlce, Poland. (Lecture Notes in Computer Science ; 5100. Journal Subline)

紙図書

Springerc2008.<M17-09-1088>

国立国会図書館

件名Petri nets -- Congresses. Multitasking (...
一般注記...naugural issue of ToPNoC contains revised and extended versions of a selection of the best paper......on Application and Theory of Petri Nets and Other Models of Concurrency, (...) Papers fro...
著者標目... Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (2...... : Siedlce, Poland)

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...
一般注記...he third issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (T......ntains revised and extended version of a selection of the best paper......on Application and Theory of Petri Nets and Other Models C......-27 June 2008, and from the 8th and 9th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools,......n October 2007 and 2008." -- pref. by editor-in-...