Jump to main content

yr 〜
yr

Search results 5

Coloured Petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 2 : gw v. 2 : us 2nd ed

Coloured Petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 2 : gw v. 2 : us 2nd ed
Paper図書
Kurt JensenSpringerc1996
Other Libraries in Japan

Coloured petri nets : basic concepts, analysis methods and practical use v. 2 : gw v. 2 : us v. 3 : gw

Coloured petri nets : basic concepts, analysis methods and practical use v. 2 : gw v. 2 : us v. 3 : gw
Paper図書
Kurt JensenSpringerc1995-
Other Libraries in Japan

Coloured petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us

Coloured petri nets : basic concepts, analysis methods and practical use v. 1 : gw v. 1 : us v. 2 : gw v. 2 : us
Paper図書
Kurt JensenSpringer-Verlagc1992-c1995
Other Libraries in Japan

Monographs in theoretical computer science : an EATCS series

Monographs in theoretical computer science : an EATCS series
Paper図書
Springer
Other Libraries in Japan
  • Related Material...specifications Coloured Petri nets : basic concepts, analysis methods and practical use Graph and mode......model checking Coloured petri nets : basic concepts, analysis methods and practical use Stochastic coalgebraic logic ...

EATCS monographs on theoretical computer science

EATCS monographs on theoretical computer science
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...P-completeness Coloured petri nets : basic concepts, analysis methods and practical use Temporal logic of programs Ra...

Reached to the end of result.

RSS