yr 〜
yr

Search results 11

CONCUR 2012 -- concurrency theory : 23rd international conference, CONCUR 2012 : Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 7454. Advanced Research in Computing and Software Science)

CONCUR 2012 -- concurrency theory : 23rd international conference, CONCUR 2012 : Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 7454. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-603>
National Diet Library
  • Author Heading...Tyne, England) Koutny, Maciej. Ulidowski, Irek.

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

Paradigms of concurrency : observations, behaviours and systems - a Petri net view hbk.
Paper図書
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz MikulskiSpringer2022
Other Libraries in Japan
  • Author HeadingJanicki, Ryszard Kleijn, Jetty Koutny, Maciej Mikulski, Lukasz

Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, UK, September 4-7 2012, proceedings : pbk.

Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, UK, September 4-7 2012, proceedings : pbk.
Paper図書
Maciej Koutny, Irek Ulidowski (eds.)Springerc2012
Other Libraries in Japan
  • Author HeadingInternational Conference on Concurrency Theory Koutny, Maciej Ulidowski, Irek

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
  • Author HeadingJensen, K. (Kurt) , 1950- Donatelli, Susanna. Koutny, Maciej, 1958-

Transactions on Petri nets and other models of concurrency 1 2 3 5 7

Transactions on Petri nets and other models of concurrency 1 2 3 5 7
Paper図書
Kurt Jensen, Wil M.P. van der Aalst, Jonathan Billington (eds.)Springerc2008-
Other Libraries in Japan
  • Author Heading...gton, Jonathan Koutny, Maciej Donatelli, Susanna Kleijn, Je...

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
  • Author HeadingJensen, K. (Kurt) , 1950- Billington, Jonathan. Koutny, Maciej, 1958-

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
  • Author HeadingKoutny, Maciej, 1958- Aalst, Wil van der. Ya...

Petri net algebra

Petri net algebra
Paper図書
Eike Best, Raymond Devillers, Maciej KoutnySpringerc2001
Other Libraries in Japan
  • Author HeadingBest, Eike Devillers Raymond Koutny Maciej

Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings
Paper図書
José-Manuel Colom, Maciej Koutny (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingInternational Conference on Applications and Theory of Petri Nets Colom, José-Manuel Koutny, Maciej

2008 8th international conference on application of concurrency to system design : Xian, China : 23-27 June 2008. : 8 international conference on application of concurrency to system design : ACSD 2008 : Jun 2008, Xian, China.

2008 8th international conference on application of concurrency to system design : Xian, China : 23-27 June 2008. : 8 international conference on application of concurrency to system design : ACSD 2008 : Jun 2008, Xian, China.
Paper図書
IEEEc2008.<M17-11-2480>
National Diet Library
  • Author HeadingXi'an dian zi ke ji da xue. Koutny, Maciej, 1958- Duan, Zhenhua. Billing...

Applications and theory of Petri nets 2001 : 22nd international conference, ICATPN 2001 : Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings. : Jun 2001, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 2075)

Applications and theory of Petri nets 2001 : 22nd international conference, ICATPN 2001 : Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings. : Jun 2001, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 2075)
Paper図書
Springer2001.<M17-03-4638>
National Diet Library
  • Author Heading..., José-Manuel. Koutny, Maciej, 1958- ICATPN 2001 Conference...

Reached to the end of result.