yr 〜
yr

Search results 7

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)

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)
Paper図書
Springerc2010.<M17-10-3393>
National Diet Library
  • Subject HeadingPetri-Netz. Braga <2010>

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 System. Kontinuier...

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009 : Budapest, Hungary, September 14-16, 2009 : proceedings. : 7th international conference on formal modelling and analysis of timed systems : Sep 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5813)

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009 : Budapest, Hungary, September 14-16, 2009 : proceedings. : 7th international conference on formal modelling and analysis of timed systems : Sep 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5813)
Paper図書
Springerc2009.<M17-10-1648>
National Diet Library
  • Subject Heading...Zeitbewertetes Petri-Netz -- Formale Met......Zeitbewertetes Petri-Netz. Zeitdiskretes System. Budape...

Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 : proceedings : pbk

Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 : proceedings : pbk
Paper図書
Johan Lilius ; Wojciech Penczek (eds.)Springerc2010
Other Libraries in Japan
  • Subject HeadingPetri-Netz -- Kongress -- Braga <2010>
  • Subject Heading (ID)Petri-Netz -- Kongress -- Braga <2010>

Petri net approaches for modelling and validation

Petri net approaches for modelling and validation
Paper図書
Wil van der Aalst ... [et al.]LINCOM Europa2003
Other Libraries in Japan
  • Subject HeadingPetri-Netz -- Kongress -- Hamburg <1997>
  • Subject Heading (ID)Petri-Netz -- Kongress -- Hamburg <1997>

Petrinetze : eine Einführung : gw : us 2., überarbeitete und erweiterte Aufl

Petrinetze : eine Einführung : gw : us 2., überarbeitete und erweiterte Aufl
Paper図書
Wolfgang ReisigSpringer1986
Other Libraries in Japan
  • Subject HeadingPetri-Netz
  • Subject Heading (ID)Petri-Netz

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings
Paper図書
Franck Cassez, Claude Jard (eds.)Springerc2008
Other Libraries in Japan
  • Subject Heading...Zeitbewertetes Petri-Netz -- Formale Methode -- Kongres...
  • Subject Heading (ID)...Zeitbewertetes Petri-Netz -- Formale Methode -- Kongres...

Reached to the end of result.