ISO IEC 15909-1 adalah Standar Internasional mengenai Sistem dan rekayasa perangkat lunak untuk High-level Petri nets (jaringan Petri tingkat tinggi), khususnya bagian 1 tentang konsep, definisi, dan notasi grafis.
Standar versi terbaru yang masih berlaku adalah terbitan tahun 2019 dengan judul berikut :
- ISO/IEC 15909-1:2019 Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation
Standar ISO/IEC 15909-1:2019
Sebagaimana tercantum dalam “Klausa Scope : Lingkup”, bahwa :
Dokumen ini mendefinisikan bahasa atau teknik pemodelan Petri nets atau jaringan Petri, yang disebut high-level Petri nets (jaringan Petri tingkat tinggi), termasuk sintaks dan semantiknya.
Ini memberikan definisi referensi yang dapat digunakan baik di dalam maupun di antara organisasi, untuk memastikan pemahaman umum tentang teknik dan spesifikasi yang ditulis menggunakan teknik tersebut.
Dokumen ini juga memfasilitasi pengembangan dan interoperabilitas alat pendukung komputer net Petri (Petri net computer support tools).
Dokumen ini berlaku untuk berbagai sistem kejadian diskrit bersamaan dan khususnya sistem terdistribusi.
Bidang aplikasi umum meliputi:
- Analisa Kebutuhan;
- pengembangan spesifikasi, desain, dan rangkaian uji;
- deskripsi sistem yang ada sebelum rekayasa ulang;
- memodelkan proses bisnis dan perangkat lunak;
- menyediakan semantik untuk bahasa yang bersamaan;
- simulasi sistem untuk meningkatkan kepercayaan diri;
- analisis formal dari perilaku sistem;
- dan pengembangan alat pendukung jaringan Petri.
Dokumen ini dapat diterapkan pada desain berbagai sistem dan proses, termasuk :
- kedirgantaraan, kontrol lalu lintas udara, avionik, perbankan, proses biologi dan kimia, proses bisnis, protokol komunikasi, arsitektur perangkat keras komputer, sistem kontrol, database, komando pertahanan dan sistem kontrol, komputasi terdistribusi, perdagangan elektronik, sistem toleransi kesalahan, permainan, prosedur rumah sakit, sistem informasi, protokol dan aplikasi Internet, proses hukum, logistik, sistem manufaktur, proses metabolisme, musik, sistem tenaga nuklir, sistem operasi, sistem transportasi (termasuk kontrol kereta api), sistem keamanan, telekomunikasi, dan alur kerja.
Penerbitan Standar ISO/IEC 15909-1:2019
Standar ini diterbitkan dan dipublikasikan pada Agustus 2019, berupa dokumen edisi 2 dengan jumlah halaman sebanyak 29 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
Dengan terbitnya standar ini, maka standar sebelumnya dinyatakan tidak berlaku dan ditarik yakni :
- ISO/IEC 15909-1:2004
- ISO/IEC 15909-1:2004/Amd 1:2010
Sebagaimana standar ISO lainnya, ISO/IEC 15909-1:2019 ini juga ditinjau setiap 5 tahun dan peninjauan sudah mencapai tahap 60.60.
Isi Standar ISO/IEC 15909-1:2019
Berikut adalah kutipan isi Standar ISO/IEC 15909-1:2019 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-1:2019
- Foreword
- Introduction
- 1 Scope
- 2 Normative references
- 3 Terms and definitions
- 4 Conformance
- 4.1 General
- 4.2 Mandatory conformance: common concepts for Petri nets
- 4.3 Place/Transition nets
- 4.4 Symmetric nets
- 4.5 High-level Petri nets
- 4.6 Petri nets with priorities
- 4.7 Petri nets with time — Level 1
- 5 Common concepts for Petri nets
- 5.1 General
- 5.2 Definition
- 5.3 Behavioral semantics
- 6 Place/Transition nets
- 6.1 General
- 6.2 Definition — Concept 8 (place/transition net)
- 6.3 Behavioral semantics
- 7 Symmetric nets
- 7.1 Definition
- 7.2 Behavioral semantics
- 8 High-level Petri nets
- 8.1 General
- 8.2 Definition — Concept 21 (high-level Petri net)
- 8.3 Behavioral semantics
- 9 Petri nets with priorities
- 9.1 General
- 9.2 Definition
- 9.3 Behavioral semantics
- 10 Time Petri nets
- 10.1 General
- 10.2 Definition
- 10.3 Behavioral semantics
- Annex A Mathematical conventions
- A.1 General
- A.2 Sets — Notation 2 (basic sets)
- A.3 Boolean functions
- A.4 Relation functions
- A.5 Multisets
- Annex B Guidelines for graphical notations
- B.1 General
- B.2 Common concepts for Petri nets
- B.3 Place/Transition Petri nets
- B.4 Symmetric nets
- B.5 High-level Petri nets
- B.6 Petri nets with priorities
- B.7 Petri nets with time
- 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 yang menjadi kepentingan bersama.
Organisasi internasional lainnya, pemerintah dan non-pemerintah, bekerja sama dengan ISO dan IEC, juga ambil bagian dalam pekerjaan tersebut.
Prosedur yang digunakan untuk mengembangkan dokumen ini dan yang dimaksudkan untuk pemeliharaan lebih lanjut dijelaskan dalam Arahan ISO/IEC, Bagian 1.
Secara khusus, kriteria persetujuan yang berbeda yang diperlukan untuk jenis dokumen yang berbeda harus diperhatikan.
Dokumen ini disusun sesuai dengan aturan editorial Arahan ISO/IEC, Bagian 2 (lihat www.iso.org/directives).
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.
Rincian hak paten yang diidentifikasi selama pengembangan dokumen akan ada di Pendahuluan dan/atau pada daftar ISO dari deklarasi paten yang diterima (lihat www.iso.org/patents) atau daftar IEC dari deklarasi paten yang diterima (lihat http: //patents.iec.ch).
Setiap nama dagang yang digunakan dalam dokumen ini adalah informasi yang diberikan untuk kenyamanan pengguna dan bukan merupakan suatu dukungan.
Tersedia pula halaman www.iso.org/iso/foreword.html untuk :
- penjelasan tentang arti istilah dan ekspresi khusus ISO yang terkait dengan penilaian kesesuaian,
- informasi tentang kepatuhan ISO terhadap prinsip-prinsip WTO dalam Technical Barriers to Trade (TBT).
Penyusunan Standar
Dokumen ini disiapkan oleh :
- Joint Technical Committee 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.
Edisi kedua ini membatalkan dan menggantikan edisi pertama (ISO/IEC 15909-1:2004), yang telah direvisi secara teknis.
Perubahan utama dibandingkan dengan edisi sebelumnya adalah sebagai berikut:
- — penyusunan ulang konsep dan definisi Petri nets (jaring Petri) dan jenis Petri nets (jaring Petri) secara lebih sederhana, modular, dan bertahap.
Mengenal ISO, IEC, WTO dan TBT Agreement
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 ISO, IEC juga merupakan suatu 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).
TBT Agreement (Technical Barriers to Trade) adalah perjanjian internasional mengenai hambatan teknis perdagangan di bawah kerangka Organisasi WTO (World Trade Organization).
WTO (World Trade Organization) adalah sebuah organisasi resmi internasional yang mengatur standar sistem perdagangan bebas di dunia.
Lebih jelas mengenai ISO, IEC, WTO dan TBT Agreement dapat dibaca pada artikel lain dari standarku.com berikut :
- Mengenal organisasi ISO, standardisasi internasional
- Standar IEC
- TBT Agreement, Standar Teknis Perdagangan
- Standar World Trade Organization
Pengantar Standar
Sebagaimana tercantum dalam “Klausa 0 Introduction”, bahwa :
Seri ISO/IEC 15909 berkaitan dengan mendefinisikan bahasa pemodelan dan format transfernya, yang dikenal sebagai Petri nets (jaring Petri) tingkat tinggi.
Dokumen ini :
- adalah Bagian 1 dari seri ISO/IEC 15909.
- memberikan definisi matematis dari high-level Petri nets (jaringan Petri tingkat tinggi), yang disebut model semantik, semantik eksekusinya, bentuk grafis dari teknik dan pemetaannya ke model semantik.
- juga memperkenalkan beberapa konvensi notasi umum untuk bentuk grafis dari Petri nets (jaring Petri) tingkat tinggi.
Petri nets (jaring Petri) telah digunakan untuk menggambarkan berbagai sistem sejak penemuan mereka pada tahun 1962.
Teknik ini didefinisikan secara matematis dan dengan demikian dapat digunakan untuk memberikan spesifikasi dan deskripsi aplikasi yang tidak ambigu.
Ini juga merupakan teknik yang dapat dieksekusi, memungkinkan prototipe spesifikasi dikembangkan untuk menguji ide pada kesempatan paling awal dan termurah.
Spesifikasi yang ditulis dalam teknik dapat dikenakan metode analisis untuk membuktikan sifat tentang spesifikasi, sebelum implementasi dimulai, sehingga menghemat waktu pengujian dan pemeliharaan serta memberikan jaminan kualitas tingkat tinggi
Masalah dengan Petri nets (jaring Petri) adalah ledakan jumlah elemen dalam bentuk grafiknya ketika digunakan untuk menggambarkan sistem yang kompleks.
High-level Petri nets
High-level Petri nets (jaringan Petri tingkat tinggi) dikembangkan untuk mengatasi masalah ini dengan memperkenalkan konsep tingkat tinggi, seperti penggunaan data terstruktur yang kompleks sebagai token, dan menggunakan ekspresi aljabar untuk membubuhi keterangan net elements.
Penggunaan ” high-level (tingkat tinggi)” untuk menggambarkan Petri nets (jaring Petri) ini analog dengan penggunaan ” high-level (tingkat tinggi)” dalam bahasa pemrograman tingkat tinggi (sebagai lawan dari bahasa rakitan), dan merupakan istilah yang biasa digunakan dalam komunitas Petri net.
Dua bentuk awal jaring tingkat tinggi yang dibuat dokumen ini adalah jaring transisi predikat dan Petri nets (jaring Petri) berwarna, pertama kali diperkenalkan pada tahun 1979 dan dikembangkan selama tahun 1980-an.
Ini juga menggunakan beberapa gagasan yang dikembangkan untuk Petri nets (jaring Petri) aljabar, pertama kali diperkenalkan pada pertengahan 1980-an.
Diyakini bahwa dokumen ini menangkap semangat perkembangan sebelumnya (lihat Daftar Pustaka).
Manfaat
Teknik ini memiliki banyak kegunaan.
Misalnya, dapat digunakan secara langsung untuk menentukan sistem atau untuk mendefinisikan semantik bahasa lain yang kurang formal.
Ini juga dapat berfungsi untuk mengintegrasikan teknik yang saat ini digunakan secara independen seperti diagram transisi keadaan dan diagram aliran data.
Teknik ini sangat cocok untuk pengembangan sistem paralel dan terdistribusi karena mendukung konkurensi.
Teknik ini mampu menentukan sistem pada tingkat yang independen dari pilihan implementasi (yaitu oleh perangkat lunak, perangkat keras (elektronik dan/atau mekanik) atau manusia atau kombinasinya).
Dokumen ini dapat dikutip dalam kontrak untuk pengembangan sistem (khususnya sistem terdistribusi) atau digunakan oleh pengembang aplikasi atau vendor atau pengguna alat Petri net.
Dokumen ini menyediakan sintaks matematika abstrak dan semantik formal untuk teknik ini. Kesesuaian dengan dokumen dimungkinkan pada beberapa tingkatan.
Tingkat kesesuaian tergantung pada kelas jaring tingkat tinggi yang dipilih.
Dokumen ini adalah Bagian 1 dari seri ISO/IEC 15909.
Ini menjelaskan definisi, semantik, eksekusi dan notasi grafis untuk Petri nets (jaring Petri) tingkat tinggi.
Format transfer untuk Petri nets (jaring Petri) tingkat tinggi adalah subjek Bagian 2, sedangkan Bagian 3 membahas teknik pengayaan, ekstensi, dan mekanisme penataan.
Pengembangan perangkat lunak yang andal membutuhkan model dan alat matematika yang kuat. Kegunaan Petri nets (jaring Petri) telah terbukti untuk aplikasi industri non-trivial.
Dokumen ini ditulis sebagai referensi untuk analis sistem, perancang, pengembang, pengelola dan pengadaan, dan untuk perancang dan pengembang alat Petri net.
Dokumen ini mendefinisikan Petri nets (jaring Petri) tingkat tinggi yang menunjukkan konsep umum untuk Petri nets (jaring Petri) terlebih dahulu, dan kemudian menjelaskan beberapa jenis Petri nets (jaring Petri) yang khas, seperti jaring tempat/transisi, jaring simetris, dan Petri nets (jaring Petri) dengan waktu.
Masing-masing jenis Petri net dijelaskan dengan definisi, semantik, dan eksekusi. Notasi grafis mereka disediakan dalam Lampiran B.
ISO/IEC 15909-1:2019 Klausa 1-3
1 Scope : Lingkup
Bagian ini sudah tercantum di bagian awal artikel ini, pada paragraf “Standar ISO/IEC 15909-1:2019”.
2 Normative references : Referensi normatif
Dokumen-dokumen berikut dirujuk dalam teks sedemikian rupa sehingga sebagian atau seluruh isinya merupakan persyaratan 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 15909-2, Systems and software engineering — High-level Petri nets — Part 2: Transfer format
3 Terms and definitions : Istilah dan definisi
Untuk keperluan dokumen ini, istilah dan definisi yang diberikan dalam ISO/IEC 15909-2 dan berikut ini berlaku.
ISO dan IEC memelihara database terminologi untuk digunakan dalam standardisasi di alamat berikut:
- — Platform penjelajahan ISO Online: tersedia di https://www.iso.org/obp
- — IEC Electropedia: tersedia di http://www.electropedia.org/
Klausa 3.1 – 3.8
3.1 arc : busur
tepi berarah jaring yang dapat menghubungkan suatu tempat (3.28) ke transisi (3.37) atau transisi ke suatu tempat, biasanya dilambangkan dengan panah
3.2 arc annotation : anotasi busur
ekspresi yang mungkin melibatkan konstanta, variabel, dan operator (3.21) yang digunakan untuk membubuhi keterangan pada busur (3.1) dari suatu jaring
- Catatan 1 : Ekspresi harus mengevaluasi ke multiset (3.17) di atas jenis tempat terkait busur (3.28).
3.3 basis set : himpunan dasar
set objek yang digunakan untuk membuat multiset (3.17)
3.4 carrier : pembawa
himpunan aljabar terurut banyak (3.14)
3.5 concurrent enabling : memungkinkan bersamaan
Status <transition mode>, untuk multiset (3.17) dari mode transisi (3.37), ketika semua tempat input yang terlibat (3.13) berisi token yang cukup untuk memenuhi jumlah semua tuntutan yang dikenakan pada mereka oleh setiap input arc (3.12) anotasi (3.2) dievaluasi untuk setiap mode transisi di multiset
3.6 concurrency : konkurensi
properti dari sistem di mana peristiwa dapat terjadi secara independen satu sama lain, dan karenanya tidak teratur
- Catatan 1 : Lihat juga langkah dan pengaktifan bersamaan (3.5).
3.7 declaration : pernyataan
kumpulan pernyataan yang mendefinisikan himpunan, konstanta, nilai parameter (3.24), variabel yang diketik, dan fungsi yang diperlukan untuk mendefinisikan anotasi pada Petri net tingkat tinggi (3.9)
3.8 enabling : memungkinkan
<a transisi> keadaan transisi (3.37) dalam mode tertentu dan penandaan jaring (3.15) ketika kondisi berikut terpenuhi: penandaan setiap tempat input (3.13) dari transisi memenuhi permintaan yang dikenakan padanya oleh anotasi busurnya (3.2) dievaluasi untuk mode transisi tertentu; permintaan terpenuhi ketika penandaan tempat berisi (setidaknya) multiset (3.17) token yang ditunjukkan oleh anotasi busur yang dievaluasi; penentuan mode transisi menjamin bahwa Kondisi Transisi terpenuhi
- Catatan 1 : Lihat pengaktifan bersamaan (3.5).
Klausa 3.9 – 3.21
3.9 high-level Petri net (HLPN) : Petri nets (jaring Petri) tingkat tinggi
high-level net : jaring tingkat tinggi
struktur aljabar yang terdiri dari: himpunan tempat (3.28); satu set transisi (3.37); satu set jenis; fungsi yang menghubungkan tipe ke setiap tempat, dan satu set mode (tipe) untuk setiap transisi; pra-fungsi yang memaksakan permintaan token (multiset (3.17) token) di tempat untuk setiap mode transisi; pasca-fungsi menentukan token keluaran (multiset token) untuk tempat untuk setiap mode transisi; dan tanda awal (3.10)
3.10 initial marking : penandaan awal
<a net> set pembuatan awal tempat (3.11) diberikan dengan definisi jaring tingkat tinggi (3.9)
3.11 initial marking of place : penandaan awal tempat
penandaan khusus (3.15) dari suatu tempat (3.28), didefinisikan dengan jaring
3.12 input arc : busur masukan
<a transisi>busur diarahkan dari tempat (3.28) ke transisi (3.37)
3.13 input place : tempat masukan
<a transisi> tempat (3.28) terhubung ke transisi (3.37) oleh busur input (3.12)
3.14 many-sorted algebra : aljabar yang diurutkan banyak
struktur matematika yang terdiri dari satu set set dan satu set fungsi yang mengambil set ini sebagai domain dan co-domain
3.15 marking : menandai
<a net> tanda set tempat (3.28) untuk semua tempat net.
3.16 marking of a place : penandaan tempat
multiset (3.17) token yang terkait dengan (‘berada di’) tempat (3.28)
3.17 multiset
bag
koleksi item di mana pengulangan item diperbolehkan
3.18 multiplicity : beragam
bilangan asli (yaitu bilangan bulat non-negatif) yang menggambarkan jumlah pengulangan item dalam multiset (3.17)
3.19 multiset cardinality : kardinalitas multiset
cardinality of a multiset : kardinalitas dari multiset
jumlah perkalian dari masing-masing anggota himpunan banyak (3.17)
3.20 node : simpul
simpul dari net graph, yaitu tempat (3.28) atau transisi (3.37)
3.21 operator : operator
simbol yang mewakili nama fungsi
Klausa 3.22 – 3.32
3.22 output arc : busur keluaran
<a transisi> busur diarahkan dari transisi (3.37) ke tempat (3.28)
3.23 output place : tempat keluaran
<a transisi> tempat (3.28) terhubung ke transisi (3.37) oleh busur keluaran (3.22)
3.24 parameter : parameter
simbol yang dapat mengambil rentang nilai yang ditentukan oleh satu set
- Catatan 1 : Ini didefinisikan sebagai konstanta dalam tanda tangan (3.32).
3.25 Petri net : Petri nets (jaring Petri)
net
struktur aljabar dengan dua himpunan, satu disebut tempat (3.28) dan yang lain disebut transisi (3.37), bersama dengan hubungan dan fungsi yang terkait, dan dinamai menurut penemunya, Carl Adam Petri
3.26 Petri net with priorities4e : Petri net dengan prioritas
Petri net (3.25) memiliki prioritas yang dapat digunakan untuk memilih transisi yang diaktifkan (3.37) sesuai dengan skema prioritas yang diberikan
- Catatan 1 : Aturan menembak sama dengan Petri nets (jaring Petri) tanpa prioritas.
3.27 Petri net with time : Petri net dengan waktu
Petri net (3.25) memiliki batasan waktu yang terkait dengan node (3.20) atau busur
- Catatan 1 : Batasan ini memengaruhi aturan pengaktifan (3.8) dan pengaktifan.
3.28 place : tempat
simpul (3.20) dari jaring, biasanya diwakili oleh elips
3.29 place/transition net (P/T net) : tempat/jaring transisi
Petri nets (jaring Petri) (3.25) terdiri dari jaring dengan bilangan bulat positif yang terkait dengan busur dan fungsi penandaan awal (3.10) yang menghubungkan sejumlah token sederhana (‘titik hitam’) dengan tempat (3.28)
3.30 reachability graph : grafik keterjangkauan
grafik berarah di mana node (3.20) sesuai dengan penandaan yang dapat dijangkau (3.31) dan tepi untuk transisi (3.37) kejadian
3.31 reachable marking : penandaan yang dapat dijangkau
marka (3.15) jaring yang dapat dicapai dari marka awal (3.10) dengan terjadinya transisi (3.37)
3.32 signature : tanda tangan
struktur matematika yang terdiri dari satu set macam (3.33) dan satu set operator (3.21)
Klausa 3.33 – 3.37
3.33 sort : menyortir
simbol yang mewakili nama himpunan
3.34 symmetric net : jaring simetris
Petri nets (jaring Petri) tingkat tinggi (3.9) di mana jenisnya terbatas dan hanya operasi bawaan yang diizinkan
3.35 term : ketentuan
ekspresi yang terdiri dari konstanta, variabel, dan operator (3.21) yang dibangun dari tanda tangan (3.32) dan satu set variabel yang diurutkan
3.36 time Petri net
Petri net (3.25) dengan waktu di mana batasan waktu dikaitkan dengan transisi (3.37)
3.37 transition : transisi
simpul (3.20) dari jaring, biasanya diwakili oleh persegi panjang
Daftar Pustaka atau Bibliography :
1-10
- [1] Bause F., Analysis of Petri Nets with a dynamic priority method. In Azéma, P. and Balbo, G., editors, Proc. 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997, volume 1248 of LNCS, pages 215–234, Berlin, Germany, June 1997. Springer-Verlag
- [2] Bérard B., Cassez F., Haddad S., Lime D., Roux O.H., Comparison of different semantics for time Petri Nets. In Automated Technology for Verification and Analysis (ATVA’05), volume 3707 of LNCS, pages 293–307, Taipei, Taiwan, October 2005. Springer
- [3] Bérard B., Lime D., Roux O.H., A Note on Petri Nets with Time. Integrated in Report on WG19 plenary meeting in Paris, ISO/IEC/JTC1/SC7/WG19, 2011
- [4] Berthomieu B., Diaz M., Modeling and verification of time dependent systems using time Petri Nets. IEEE trans. on Soft. Eng., 17(3):259–273, 1991
- [5] Clarke M. E., Grumberg O., Peled D. A., Model checking. MIT Press, 2001
- [6] Czaja I., Van Glabbeek R. J., Goltz U., Interleaving semantics and action refinement with atomic choice. In Advances in Petri Nets, pages 89–109. Springer-Verlag, 1991
- [7] Girault C., Valk R., Petri Nets for Systems Engineering. Springer Verlag – ISBN: 3-540-41217-4, 2003
- [8] Hillah L., Lakos C., Kordon F., Petrucci L., Extending PNML scope: a framework to combine Petri Nets types. Transactions on Petri Nets and Other Models of Concurrency, 7400:46–70, 2012
- [9] Jensen K., Coloured Petri Nets: Basic concepts, analysis methods and practical use. Volume 1: basic concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992
- [10] Merlin P.M., A study of the recoverability of computing systems. PhD thesis, University of California, Irvine, 1974
11-12
- [11] Reynier P.-A., Sangnier A., Weak Time Petri Nets strike back! In Proceedings of the 20th International Conference on Concurrency Theory (CONCUR’09), volume 5710 of LNCS, pages 557–571. Springer, 2009
- [12] Syropoulos A., Mathematics of multisets. In Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View, WMP’00, pages 347–358, London, UK, 2001. Springer-Verlag
Penutup
Demikian artikel dari standarku.com mengenai Standar ISO/IEC 15909-1:2019.
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 :