ISO IEC 15909-2 adalah Standar Internasional mengenai Systems and software engineering, khususnya tentang High-level Petri nets — Part 2: transfer format
Standar versi terbaru yang masih berlaku adalah terbitan tahun 2011 dengan judul berikut :
- ISO/IEC 15909-2:2011 Systems and software engineering — High-level Petri nets — Part 2: Transfer format
Peninjauan dan konfirmasi dari standar ini terakhir dilakukan pada tahun 2019, oleh karena itu versi ini masih dinyatakan tetap berlaku hingga saat ini.
Standar ISO/IEC 15909-2:2011
ISO/IEC 15909-2:2011 mendefinisikan format transfer berbasis XML untuk jaring Petri, yang didefinisikan secara konseptual dan matematis dalam ISO/IEC 15909-1.
Format transfer ini memungkinkan pertukaran jaring Petri di antara alat jaring Petri yang berbeda dan di antara berbagai pihak.
Selain itu, ISO/IEC 15909-2:2011 mendefinisikan beberapa konsep dan sintaks berbasis XML untuk mendefinisikan tampilan grafis rinci dari jaring Petri.
Fokus ISO/IEC 15909-2:2011 adalah pada format transfer untuk Place/Transition Nets, High-level Petri Nets dan Symmetric Nets.
Presentasi, bagaimanapun, disusun sedemikian rupa sehingga terbuka untuk ekstensi di masa mendatang, sehingga versi lain dari jaring Petri dapat ditambahkan nanti.
Definisi yang tepat dari mekanisme ekstensi ini, yang disebut definisi tipe net Petri, tidak didefinisikan dalam ISO/IEC 15909-2:2011; itu akan didefinisikan dalam ISO/IEC 15909-3.
Format transfer akan digunakan untuk mentransfer spesifikasi sistem yang dikembangkan di Petri Nets tingkat tinggi antar alat untuk memfasilitasi pengembangan sistem dalam tim.
ISO/IEC 15909-2:2011 ditulis sebagai referensi untuk pengembang alat Petri net. Ini juga akan berguna bagi peneliti yang mendefinisikan versi dan varian baru dari Petri nets.
Penerbitan Standar ISO/IEC 15909-2:2011
Standar ini diterbitkan dan dipublikasikan pada Februari 2011, berupa dokumen edisi 1 dengan jumlah halaman sebanyak 102 lembar.
Disusun oleh :
- Technical Committee ISO/IEC JTC 1/SC 7 Software and systems engineering, atau : Komite Teknis ISO/IEC JTC 1/SC 7 Rekayasa perangkat lunak dan sistem.
ICS :
- 35.080 Software, atau : 35.080 Perangkat Lunak
Standar ini berkontribusi pada Tujuan Pembangunan Berkelanjutan atau Sustainable Development Goal berikut:
- Industri, inovasi dan infrastruktur
Sebagaimana standar ISO lainnya, ISO/IEC 15909-2:2011 ini juga ditinjau setiap 5 tahun dan peninjauan sudah mencapai tahap 90.93 (dikonfirmasi).
Badan ISO juga menerbitkan perubahan atau corrigenda dari standar ini, yakni ISO/IEC 15909-2:2011/Kor 1:2013.
Isi Standar ISO/IEC 15909-2:2011
Berikut adalah kutipan isi Standar ISO/IEC 15909-2:2011 yang diambil dari Online Browsing Platform (OBP) dari situs resmi iso.org.
Yang ditambah dengan berbagai keterangan dan informasi untuk mempermudah pemahaman pembaca.
Hanya bagian standar yang informatif yang tersedia untuk umum, OBP hanya menampilkan hingga klausa 3 saja.
Oleh karena itu, untuk melihat konten lengkap dari standar ini, maka pembaca harus membeli standar dari ISO ini secara resmi.
Daftar Isi Standar ISO/IEC 15909-2:2011
- Foreword
- Introduction
- 1 Scope
- 2 Conformance
- 2.1 pnml Documents
- 2.2 pnml Place/Transition Net Documents
- 2.3 Textually conformant pnml High-level Petri Net Documents
- 2.4 Structurally conformant pnml High-level Petri Net Documents
- 2.5 Place/Transition Net Document in High-level Notation
- 2.6 Symmetric Net Documents
- 3 Normative references
- 4 Terms, definitions and abbreviations
- 4.1 Terms and definitions
- 4.2 Abbreviations
- 5 Concepts
- 5.1 General Principles
- 5.2 pnml Core Model
- 5.3 Petri Net Type Meta Models and their Built-in Sorts
- 6 Mapping between Part 1 and Part 2
- 6.1 Graphics and Structuring
- 6.2 Annotations of hlpngs
- 7 pnml Syntax
- 7.1 pnml Documents
- 7.2 Mapping Petri Net Type Definitions to xml Syntax
- 7.3 Mapping for High-Level Nets
- Annex A relax ng Grammar for the pnml Core Model
- Annex B relax ng Grammars for special types
- B.1 Place/Transition Nets
- B.2 High-level Petri Nets
- Annex C pnml Example of a High-level Net
- Annex D The pnml Framework: Easing the implementation of pnml
- D.1 Introduction
- D.2 Methodology
- D.3 Features of the pnml Framework
- D.4 Application to a Petri nets CASE tool
- D.5 Importing Petri nets models from pnml
- D.6 Time and effort required to develop and integrate a pnml plugin
- D.7 Conclusion
- Bibliography
Kata pengantar
Sebagaimana tercantum dalam “Klausa 0 Foreword”, bahwa :
ISO (Organisasi Internasional untuk Standardisasi) dan IEC (Komisi Elektroteknik Internasional) membentuk sistem khusus untuk standardisasi di seluruh dunia.
Badan-badan nasional yang menjadi anggota ISO atau IEC berpartisipasi dalam pengembangan Standar Internasional melalui komite teknis yang dibentuk oleh organisasi masing-masing untuk menangani bidang kegiatan teknis tertentu.
Komite teknis ISO dan IEC berkolaborasi dalam bidang kepentingan bersama.
Organisasi internasional lainnya, pemerintah dan non-pemerintah, bekerja sama dengan ISO dan IEC, juga ambil bagian dalam pekerjaan tersebut.
Di bidang teknologi informasi, ISO dan IEC telah membentuk komite teknis bersama, ISO/IEC JTC 1.
Standar Internasional disusun sesuai dengan aturan yang diberikan dalam Arahan ISO/IEC, Bagian 2.
Tugas utama komite teknis bersama adalah menyiapkan Standar Internasional.
Rancangan Standar Internasional yang diadopsi oleh komite teknis bersama diedarkan ke badan-badan nasional untuk pemungutan suara.
Publikasi sebagai Standar Internasional memerlukan persetujuan setidaknya 75% dari badan-badan nasional yang memberikan suara.
Perhatian diberikan pada kemungkinan bahwa beberapa elemen dari dokumen ini dapat menjadi subyek hak paten.
ISO dan IEC tidak bertanggung jawab untuk mengidentifikasi setiap atau semua hak paten tersebut.
Penyusunan Standar
ISO/IEC 15909-2 disiapkan oleh :
- Joint Technical Committe ISO/IEC JTC 1, Information technology, Subcommittee SC 7, Software and systems engineering,
- atau : Komite Teknis Bersama ISO/IEC JTC 1, Teknologi informasi, Subkomite SC 7, Rekayasa perangkat lunak dan sistem.
ISO/IEC 15909 terdiri dari bagian-bagian berikut, dengan judul umum “Systems and software engineering – High-level Petri nets (Sistem dan rekayasa perangkat lunak – Jaring Petri tingkat tinggi)” :
- — Part 1: Concepts, definitions and graphical notation
- — Part 2: Transfer format
” Extensions (Ekstensi)” akan menjadi subjek Bagian 3 di masa mendatang.
Mengenal ISO dan IEC
ISO (International Organization for Standardization) adalah suatu organisasi atau lembaga nirlaba internasional.
Tujuan dari ISO adalah untuk membuat dan memperkenalkan standar dan standardisasi internasional untuk berbagai tujuan.
Sebagaimana dengan ISO, IEC juga merupakan organisasi standardisasi internasional yang menyusun dan menerbitkan standar-standar internasional.
Namun ruang lingkupnya adalah untuk seluruh bidang elektrik, elektronik dan teknologi yang terkait atau bidang teknologi elektro (electrotechnology).
Lebih jelas mengenai ISO dan IEC dapat dibaca pada artikel lain dari standarku.com berikut :
Pengantar Standar
Sebagaimana tercantum dalam “Klausa 0 Introduction”, bahwa :
ISO/IEC 15909 Berkaitan dengan mendefinisikan bahasa pemodelan dan format transfernya, yang dikenal sebagai Petri Nets Tingkat Tinggi.
ISO/IEC 15909-1 memberikan definisi matematis dari Petri Nets tingkat tinggi, yang disebut model semantik, bentuk grafis dari teknik ini, yang dikenal sebagai Grafik Petri Net Tingkat Tinggi (HLPNGS), dan pemetaannya ke model semantik.
Ini juga Memperkenalkan beberapa konvensi notasi umum untuk HLPNGS.
Bagian dari ISO/IEC 15909 ini mendefinisikan format transfer untuk Petri Nets Tingkat Tinggi Untuk mendukung pertukaran Petri Nets Tingkat Tinggi di antara alat-alat yang berbeda.
Format ini disebut Petri Net Markup Language (PNML).
PNML
Karena ada banyak versi yang berbeda dari Petri nets Selain High-level Petri Nets, bagian dari ISO/IEC 15909 ini mendefinisikan konsep inti dari Petri nets bersama dengan sintaks XML, yang dapat digunakan untuk bertukar semua jenis Petri net.
Berdasarkan Model Inti PNML ini, bagian dari ISO/IEC 15909 ini juga mendefinisikan sintaks transfer untuk tiga versi jaring Petri yang didefinisikan Dalam ISO/IEC 15909-1: Jaring Tempat/Transisi, Jaring Simetris1, dan Petri Tingkat Tinggi Nets, di mana Place/Transition Nets dan Symmetric Nets dapat dianggap sebagai versi terbatas dari Petri Nets Tingkat Tinggi.
Untuk Jaring Tempat/Transisi, bagian ISO/IEC 15909 ini memperkenalkan dua format transfer yang berbeda: satu adalah format yang secara khusus disetel ke Jaring Tempat/Transisi, yang lain adalah format yang mewakili Jaring Tempat/Transisi sebagai versi terbatas dari High-level Nets.
Petri Nets sebagaimana didefinisikan dalam ISO/IEC 15909-1.
Tingkat dasar kesesuaian dengan bagian ISO/IEC 15909 ini adalah dengan PNML Core Model.
Tingkat lainnya sesuai dengan jenis tertentu dari Petri Net, untuk Petri Net tingkat tinggi ada dua tingkat kesesuaian: kesesuaian tekstual mengabaikan sintaks dan struktur label yang tepat; kesesuaian struktural mengharuskan label diberikan dalam sintaks yang tepat seperti yang didefinisikan di sini.
Karena Symmetric Nets dirancang untuk analisis, kesesuaian tekstual tidak masuk akal untuk Symmetric Nets; oleh karena itu, hanya ada kesesuaian struktural untuk Jaring Simetris.
Perhatikan bahwa bagian ISO/IEC 15909 ini memperkenalkan beberapa konsep yang tidak didefinisikan dalam ISO/IEC 15909-1.
Konsep-konsep ini tidak terkait dengan konsep matematika jaring Petri dan semantiknya.
Mereka menyangkut representasi grafis jaring dan penataan model jaring Petri besar.
Konsep-konsep ini perlu didefinisikan, bersama dengan format transfer untuk jaring Petri, untuk memastikan bahwa tampilan grafis dari jaring Petri di alat yang berbeda adalah serupa.
Bagian ISO/IEC 15909 ini disusun sebagai berikut: Klausul 1 menjelaskan ruang lingkup, area penerapan dan audiens yang dituju dari bagian ISO/IEC 15909 ini. Klausul 2 mendefinisikan kesesuaian.
Klausul :
- 3 memberikan referensi yang penting untuk Interpretasi yang benar dari Standar Internasional ini.
- 4 mendefinisikan semua istilah yang relevan dengan Standar Internasional ini dan termasuk daftar singkatan.
- 5 Memperkenalkan konsep PNML menggunakan model meta UNML.
- 5.2 mendefinisikan Model Inti PNML, yang merupakan struktur umum untuk semua versi jaring Petri.
- 5.3 mendefinisikan konsep-konsep khusus dari tipe-tipe jaring Petri yang berbeda.
- 6 memberikan pemetaan konsep sintaksis yang didefinisikan dalam bagian ISO/IEC 15909 ini ke konsep yang didefinisikan dalam ISO/IEC 15909-1.
- 7 mendefinisikan bagaimana konsep PNML sebagaimana didefinisikan Dalam Klausul 5 dipetakan ke sintaks XML.
Lampiran :
- A mendefinisikan sintaks XML yang tepat untuk Model Inti PNML Dalam hal tata bahasa RELEX NG.
- B mendefinisikan sintaks XML yang tepat untuk berbagai jenis jaring Petri.
- C memberikan contoh kecil untuk sintaks jaring simetris.
- D membahas kerangka kerja untuk Menerapkan Standar Internasional ini dan API untuk mengakses jaringan Petri, yang didasarkan pada model UML untuk model meta PNML.
ISO/IEC 15909-2:2011 Klausa 1-3
1 Scope : Lingkup
Bagian dari ISO/IEC 15909 ini mendefinisikan format transfer berbasis XML untuk jaring Petri, yang didefinisikan secara konseptual dan matematis dalam ISO/IEC 15909-1.
Format transfer ini memungkinkan pertukaran jaring Petri di antara alat jaring Petri yang berbeda dan di antara berbagai pihak.
Selain itu, bagian dari ISO/IEC 15909 ini mendefinisikan beberapa konsep dan sintaks berbasis XML untuk mendefinisikan tampilan grafis rinci dari jaring Petri.
Fokus dari bagian ISO/IEC 15909 ini adalah pada format transfer untuk Place/Transition Nets, High-level Petri Nets dan Symmetric Nets.
Presentasi, bagaimanapun, disusun sedemikian rupa sehingga terbuka untuk ekstensi di masa mendatang, sehingga versi lain dari jaring Petri dapat ditambahkan nanti.
Definisi yang tepat dari mekanisme ekstensi ini, yang disebut definisi tipe net Petri, Tidak didefinisikan Dalam bagian ISO/IEC 15909 ini; Ini akan didefinisikan dalam ISO/IEC 15909-3.
Format transfer akan digunakan untuk mentransfer spesifikasi sistem yang dikembangkan di Petri Nets tingkat tinggi antar alat untuk memfasilitasi pengembangan sistem dalam tim.
Bagian dari ISO/IEC 15909 ini ditulis sebagai referensi untuk pengembang alat Petri net.
Selain itu, akan bermanfaat bagi peneliti yang mendefinisikan versi dan varian baru Petri net.
3 Normative references : Referensi normatif
Dokumen referensi berikut sangat diperlukan untuk penerapan dokumen ini.
Untuk referensi bertanggal, hanya edisi yang dikutip yang berlaku.
Untuk referensi yang tidak bertanggal, berlaku edisi terbaru dari dokumen yang diacu (termasuk amandemennya).
- ISO/IEC 15444 (all parts), Information technology — JPEG 2000 image coding system
- ISO/IEC 15909-1, Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation
- ISO/IEC 15948, Information technology — Computer graphics and image processing — Portable Network Graphics (PNG): Functional specification
- ISO/I EC 19757-2:2008, Information technology — Document Schema Definition Language (DSDL) — Part2: Regulargrammar-based validation — RELAX NG
- CSS, Cascading Style Sheets, level 2 revision 1, CSS 2.1 Specification; W3C Candidate Recommendation, 25 February 2004
- OCL 2.0, Object Constraint Language, OMG Available Specification, Version 2.0. OMG formal/06-05-01, May 2006
- UML 2.1, OMG Unified Modeling Language (OMG UML): Superstructure, V2.1.2 OMG Available Specification, November 2007
- XML 1.1, Extensible Markup Language (XML) 1.1 (Second Edition); W3C Recommendation, 29 September 2006
- XML Schema Datatypes: XML Schema Part 2: Datatypes (Second Edition); W3C Recommendation, 28 October 2004
4 Terms, definitions and abbreviations : Istilah, definisi, dan singkatan
4.1 Terms and definitions : Istilah dan definisi
Untuk keperluan dokumen ini, istilah dan definisi yang diberikan dalam ISO/IEC 15909-1 dan berikut ini berlaku.
Klausa 4.1.1 – 4.1.12
4.1.1 annotation : anotasi
label (4.1.5) direpresentasikan sebagai teks di dekat objek (4.1.7) Hal ini terkait dengan
4.1.2 attribute : atribut
label (4.1.5) yang mengatur bentuk atau bentuk objek (4.1.7) yang terkait dengannya, yang, berbeda dengan anotasi (4.1.1), biasanya tidak ditampilkan sebagai teks
4.1.3 graphical information : informasi grafis
informasi yang mendefinisikan tampilan grafis objek (4.1.7) dan label (4.1.5) dari grafik bersih, yang dapat berupa posisi, ukuran, warna garis, warna isian, font atau lebar garis
4.1.4 global label : label global
label (4.1.5) terkait dengan grafik bersih itu sendiri, bukan dengan objek (4.1.7) dari grafik bersih
4.1.5 label : label
informasi yang terkait dengan grafik net atau salah satu objeknya (4.1.7)
4.1.6 meta model : model meta
model yang mendefinisikan konsep dan hubungannya untuk beberapa notasi pemodelan
Catatan 1 untuk entri: Model meta di bagian ISO/IEC 15909 ini sebagian besar adalah diagram kelas UML.
4.1.7 object (of a net graph) : objek (dari grafik bersih)
busur, simpul, simpul referensi (4.1.14), atau halaman (4.1.8) dari graf bersih
4.1.8 page : halaman
mekanisme penataan yang digunakan untuk membagi grafik jaring besar menjadi bagian-bagian yang lebih kecil, yang juga merupakan unit jaring yang akan dicetak
4.1.9 PNML Core Model : Model Inti PNML
meta model (4.1.6) mendefinisikan konsep dasar dan struktur model graf net yang umum untuk semua versi jaring Petri
4.1.10 PNML Document (Petri Net Document) : Dokumen PNML (Dokumen Petri Net)
Dokumen XML yang berisi satu atau lebih grafik bersih
4.1.11 PNML High-level Net Document : Dokumen Bersih Tingkat Tinggi PNML
PNMLDocument (4.1.10) yang berisi satu atau lebih graf net, dimana semua graf net sesuai dengan Petri Nets Tingkat Tinggi
4.1.12 PNML Place/Transition Net Document : Tempat PNML/Dokumen Net Transisi
PNMLDocument (4.1.10) yang berisi satu atau lebih graf net, di mana semua graf net sesuai dengan Jaring Tempat/Transisi
Klausa 4.1.13 – 4.2.9
4.1.13 PNML Symmetric Net Document
PNMLDocument (4.1.10) yang berisi satu atau lebih grafik bersih, di mana semua grafik bersih sesuai dengan Jaring Simetris
4.1.14 reference node : simpul referensi
simpul dari jaring Petri yang merupakan perwakilan dari simpul lain, mungkin didefinisikan pada halaman lain (4.1.8) dari grafik bersih
4.1.15 reference place : tempat referensi
simpul referensi (4.1.14) yang mewakili suatu tempat dan merujuk ke tempat referensi lain (4.1.15) atau ke suatu tempat
4.1.16 reference transition : transisi referensi
node referensi (4.1.14) yang mewakili transisi dan merujuk ke transisi referensi lain (4.1.16) atau ke transisi
4.1.17 source node : simpul sumber
simpul yang terkait dengan awal busur
4.1.18 target node : simpul sasaran
simpul yang terkait dengan ujung busur
4.1.19 tool specific information : informasi spesifik alat
Informasi yang terkait dengan objek (4.1.7) dari grafik jaring atau dengan grafik jaring itu sendiri yang khusus untuk alat tertentu dan tidak dimaksudkan untuk digunakan oleh alat lain
4.2 Abbreviations : Singkatan
4.2.1 CSS
Cascading Stylesheets
4.2.2 CSS2
Cascading Stylesheet level 2
4.2.3 OCL
Bahasa Batasan Objek
4.2.4 P/T Net
Tempat/Transisi Net
4.2.5 PNML
Bahasa Markup Petri Net
4.2.6 RELAX NG
Deskripsi Bahasa Reguler untuk XML/ Generasi Baru
4.2.7 SN
Jaring Simetris
4.2.8 UML
Bahasa Pemodelan Terpadu
4.2.9 XML
Bahasa Markup yang dapat diperluas
Daftar Pustaka atau Bibliography
Bibliography for the main part
1-6
- [1] R. Bastide, J. Billington, E. Kindler, F. Kordon, and K. H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Arhus, Denmark, June 2000. 21 st ICATPN.
- [2] F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9–27, October 1995.
- [3] G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4–15, April 1988.
- [4] Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber. The Petri Net Markup Language: Concepts, technology, and tools. In W. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, 24th International Conference, LNCS 2679, pages 483-505. Springer, June 2003.
- [5] A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2.
- [6] R. B. Lyngsø and T. Mailund. Textual interchange format for high-level Petri nets. In Proc. Workshop on Practical use of Coloured Petri Nets and Design/CPN, pages 47–63, Department of Computer Science, University of Arhus, Denmark, 1998. PB-532.
7-11
- [7] T. Mailund and K. H. Mortensen. Separation of style and content with XML in an interchange format for highlevel Petri nets. In Bastide et al. [1], pages 7–11.
- [8] C. Stehno. Petri Net Markup Language: Implementation and Application. In J. Desel and M. Weske, editors, Promise 2002, Lecture Notes in Informatics P-21, pages 18–30. Gesellschaft fur Informatik, 2002.
- [9] O. Sy, M. Buffo, D. Buchs, F. Kordon, and R. Bastide. An experimental approach towards the XML representation of Petri net models. Technical Report 2000/336, École Polytechnique Fédéral de Lausanne, Departement D’Informatique, June 2000.
- [10 M. Weber and E. Kindler. The Petri Net Markup Language. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, LNCS 2472, pages 124–144. Springer, Berlin Heidelberg, 2003.
- [11] G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2.
Bibliography for Annex D
- [12] R. Bastide, J. Billington, E. Kindler, F. Kordon, and K. H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Arhus, Denmark, June 2000. 21st ICATPN.
- [13] F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T.J. Grose. Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, August 2003.
- [14] Eclipse Foundation. Eclipse Modeling Framework.
- http://www.download.eclipse.org/tools/emf/scripts/home.php.
- [15] Lom Hillah, Fabrice Kordon, Laure Petrucci, and Nicolad Treves. Building an API for ISO/IEC 15909, based on model engineering techniques. In 2nd Workshop on the Petri Net Markup Language (PNML’O5), May 2005.
- [16] MoVe LIP6. The CPN-AMI Home page. http://www.lip6.fr/cpn-ami.
- [17] Modeling and Verification Department. PNML Framework. LIP6, http://www.lip6.fr/pnml.
- [18] OMG. MDA Guide Version 1.0.1, document no: omg/2003-06-01, 2003.
- [19] OMG. MetaObjectFacility 2.0 Core Specification, document no:omg/2003-10-04. OMG, October 2003.
- [20] OMG. UML 2.0 OCL Specification, document no:omg/03-10-14. OMG, October 2003.
- [21] Remko Popma. Introduction to JET. Azzurri Ltd., http://eclipse.org/emf/docs.php?doc=tutorials/jet1/jet_tutorial1.html, 2005.
- [22] AT&T Research. GraphViz. http://www.graphviz.org/.
- [23] C. Stehno. Petri Net Markup Language: Implementation and Application. In J. Desel and M. Weske, editors, Promise 2002, Lecture Notes in Informatics P-21, pages 18–30. Gesellschaft f ¨ ur Informatik, 2002.
Penutup
Demikian artikel dari standarku.com mengenai Standar ISO/IEC 15909-2:2011.
Mohon saran dari pembaca untuk kelengkapan isi artikel ini, silahkan saran tersebut dapat disampaikan melalui kolom komentar.
Baca artikel lain :
- International Organization for Standardization
- Memahami apa itu Standar ISO
- Memahami Standard atau Standar
Sumber referensi :