調べもの：ペトリネット

追記したので、トップに持ってきます。一度調べていたけれど、理解してませんでしたね。
初出：2008-03-09 21:37:24

---

OCRESの学習中。以下の仕様書を読んでいたら出てきたので。

「OMG Document -- UML Profile for Schedulability, Performance, and Time」
http://www.omg.org/cgi-bin/doc?formal/2005-01-02

・・・まー、そういうものがある、というところで。(脱兎)「ペトリネット - Google 検索」
http://www.google.co.jp/search?sourceid=navclient&hl=ja&ie=UTF-8&rlz=1T4GFRC_jaJP217JP218&q=%e3%83%9a%e3%83%88%e3%83%aa%e3%83%8d%e3%83%83%e3%83%88

「ペトリネット - Wikipedia」
http://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88

「petri net - Google 検索」
http://www.google.co.jp/search?sourceid=navclient&hl=ja&ie=UTF-8&rlz=1T4GFRC_jaJP217JP218&q=petri+net

「Petri net - Wikipedia, the free encyclopedia」
http://en.wikipedia.org/wiki/Petri_net

---

(2009/07/25追記)「Petri Nets World: Online Services for the International Petri Nets Community」
http://www.informatik.uni-hamburg.de/TGI/PetriNets/

「ペトリネット入門」
http://www.aichi-pu.ac.jp/ist/~qua/intropn/

「ペトリネットとは？」
http://www.infonets.hiroshima-u.ac.jp/research/petri/

「《ペトリネット》 - ORWiki」
http://www.orsj.or.jp/~wiki/wiki/index.php/%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B

「ＬＣペトリネットについて」
http://markun.cs.shinshu-u.ac.jp/kiso/projects/petrinet/pds/LCPN/index-j.html

タグ：OCRES