Jump to main content

yr 〜
yr

Search results 8

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
  • Author Heading...tock, Germany) Jensen, K. (Kurt), 1950-

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

Transactions on Petri nets and other models of concurrency 2 : special issue on concurrency in process-aware information systems. : "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 : ------. (Lecture Notes in Computer Science ; 5460. Journal Subline)

Transactions on Petri nets and other models of concurrency 2 : special issue on concurrency in process-aware information systems. : "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 : ------. (Lecture Notes in Computer Science ; 5460. Journal Subline)
Paper図書
Springerc2009.<M17-09-1677>
National Diet Library

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)

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)
Paper図書
Springerc2012.<M17-13-59>
National Diet Library
  • Author HeadingJensen, K. (Kurt), 1950- Donatelli, Susanna. Kleijn, J...

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

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)

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)
Paper図書
Springerc2008.<M17-09-1088>
National Diet Library

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2988)

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2988)
Paper図書
Springerc2004.<M17-04-3043>
National Diet Library

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 1992 : proceedings / K. Jensen (ed.). (Lecture notes in computer science)

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 1992 : proceedings / K. Jensen (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8274>
National Diet Library

Reached to the end of result.

RSS