Melola Discovery

← Melola Discovery

Jurnal SINTA 3

DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET

BAREKENG: Jurnal Ilmu Matematika dan Terapan · Vol. 7 No. 1 (2013) · pp. 9–14

DOI
10.30598/barekengvol7iss1pp9-14
ISSN
2615-3017, 1978-7227
Published
2013-03-01
Publisher
PATTIMURA UNIVERSITY
Language
eng

Abstract

Penelitian ini menguraikan suatu aplikasi yang mungkin dari Petri net untuk menspesifikasikan dinamika dari sistem informasi. Petri net adalah suatu alat matematik yang menerapkan spesifikasi formal dari dinamika sistim. Suatu prosedur yang formal disarankan karena mampu mentransformasi diagram kegiatan Unified Modeling Language (UML) ke dalam suatu model Petri net. Atas dasar perubahan bentuk ini dimungkinkan untuk memenuhi verifikasi model dinamis dari sistim riil, yaitu untuk mengevaluasi apakah aktivitas dan ordernya terdefinisi dengan baik (well defined). Ini juga mungkin untuk memecahkan permasalahan alur dan sinkronisasi aktivitas suatu sistim, seperti juga untuk mengoptimalkan model dinamis. Permasalahan yang dibahas dalam tulisan ini adalah bagaimana memodelkan layanan ATM dengan berdasar pada diagram aktivasi UML (Unified Modelling Language) dan bagaimana memodelkan layanan ATM (Automated Teller Machine) dengan menggunakan Petri Nets. Dihasilkan 49 Transisi dan 26 place untuk menggambarkan kedinamikan suatu ATM.

Collaboration network of the authors

17 authors · 37 co-authorship links

Hover or tap a name to highlight its co-authors. Double-click to open the author's page.

  • Affiliation unknown
  • Different organisations
  • Same organisation
  • Affiliation unknown
  • Thicker line = more joint articles · bigger circle = more articles
Show as table
Co-authorOrganisationJoint articles
Lexy J. SinayAffiliation unknown2
Ferry Kondo LembangAffiliation unknown1
Henry J. WattimanelaAffiliation unknown1
Venn Y. I. IlwaruAffiliation unknown1
M. H. HahuryAffiliation unknown1
Mozart W. TalakuaAffiliation unknown1
Serly SurlialyAffiliation unknown1
Vilomina EnusAffiliation unknown1
Yopi Andry LesnussaAffiliation unknown1
Rethalina WaasAffiliation unknown1
Fitri R. N. TihuruaAffiliation unknown1
Venn Yan Ishak IlwaruAffiliation unknown1
Jeky TetimelayAffiliation unknown1
Berny Pebo TomasouwAffiliation unknown1
Zeth Arthur LeleuryAffiliation unknown1
Y. SambonoAffiliation unknown1

Affiliations come from OpenAlex; journal OAI-PMH metadata carries none. Authors without an OpenAlex ID are matched by name, which can merge or split people.

Metadata source: OAI-PMH (metadata jurnal) https://ojs3.unpatti.ac.id/index.php/barekeng/oai, first harvested 5 Nov 2026, last seen 5 Nov 2026.
Original metadata (oai_dc) 
<oai_dc:dc xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/  http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
	<dc:title xml:lang="en-US">DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET</dc:title>
	<dc:creator>Rahakbauw, Dorteus L.</dc:creator>
	<dc:description xml:lang="en-US">Penelitian ini menguraikan suatu aplikasi yang mungkin dari Petri net untuk menspesifikasikan dinamika dari sistem informasi. Petri net adalah suatu alat matematik yang menerapkan spesifikasi formal dari dinamika sistim. Suatu prosedur yang formal disarankan karena mampu mentransformasi diagram kegiatan Unified Modeling Language (UML) ke dalam suatu model Petri net. Atas dasar perubahan bentuk ini dimungkinkan untuk memenuhi verifikasi model dinamis dari sistim riil, yaitu untuk mengevaluasi apakah aktivitas dan ordernya terdefinisi dengan baik (well defined). Ini juga mungkin untuk memecahkan permasalahan alur dan sinkronisasi aktivitas suatu sistim, seperti juga untuk mengoptimalkan model dinamis. Permasalahan yang dibahas dalam tulisan ini adalah bagaimana memodelkan layanan ATM dengan berdasar pada diagram aktivasi UML (Unified Modelling Language) dan bagaimana memodelkan layanan ATM (Automated Teller Machine) dengan menggunakan Petri Nets. Dihasilkan 49 Transisi dan 26 place untuk menggambarkan kedinamikan suatu ATM.</dc:description>
	<dc:publisher xml:lang="en-US">PATTIMURA UNIVERSITY</dc:publisher>
	<dc:date>2013-03-01</dc:date>
	<dc:type>info:eu-repo/semantics/article</dc:type>
	<dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
	<dc:format>application/pdf</dc:format>
	<dc:identifier>https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/240</dc:identifier>
	<dc:identifier>10.30598/barekengvol7iss1pp9-14</dc:identifier>
	<dc:source xml:lang="en-US">BAREKENG: Jurnal Ilmu Matematika dan Terapan; Vol 7 No 1 (2013): BAREKENG : Jurnal Ilmu Matematika dan Terapan; 9-14</dc:source>
	<dc:source>2615-3017</dc:source>
	<dc:source>1978-7227</dc:source>
	<dc:language>eng</dc:language>
	<dc:relation>https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/240/202</dc:relation>
</oai_dc:dc>