KESTABILAN MODEL PETRI NET DARI SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR by Zumrotus Sya'diyah

Subjects: Get full text

Designing Traffic Light Signals to Ease Congestion Caused by Traffic Accidents Using Timed Petri Net by Ter-Chan Row, Shih-Chih Lee, Jui-Fu Cheng

Subjects: “…timed Petri net…”
Get full text

Representation and termination analysis for ECA rules based on extended Petri net by Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU

Subjects: “…ECA rule;Petri net;termination analysis;extended Petri net;model representation…”
Get full text

DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET by Dorteus L. Rahakbauw

Subjects: “…Petri Net, ATM, UML…”
Get full text

An Emergency Response Framework Design and Performance Analysis for Ship Fire Incidents in Waterway Tunnels by Jian Deng, Shaoyong Liu, Xiaohan Zeng

Subjects: Get full text

An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas by M. G. Dorrer

Subjects: Get full text

PEMODELAN PROSEDUR KARANTINA PENDATANG DALAM RANGKA PENCEGAHAN COVID-19 DI KOTA TARAKAN MENGGUNAKAN PETRI NET by Deny Murdianto, Hadi Santoso

Subjects: “…petri net…”
Get full text

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios by M. G. Dorrer, V. V. Kurokhtin

Subjects: Get full text

PETRI NET MODEL IN THE PROCESS OF SUBMISSION FOR CUSTOMER CREDIT OF BPR LAMBANG GANDA SERANG by Megawati Octavia, Fitriani Fitriani, Ahmad Faisol

Subjects: “…petri net…”
Get full text

Automated Mapping Tool from Moise+ to Colored Petri Nets by Ricardo Machado, Athur Zelindro, Eder Gonçalves, Diana Adamatti, Giovani Farias

Subjects: Get full text

Research on Grid Scheduling of Super-Peer Model Based on QoS by Shanliang Pan, Xi Huang, Qinjiao Mao

Subjects: Get full text

PEMODELAN HYBRID SINTESIS PADA AUTOMATED MANUFACTURING SYSTEM (AMS) DENGAN MENGGUNAKAN PETRI NET by Dorteus L. Rahakbauw

Subjects: “…ams, hybrid sintesis, petri net, coverability tree.…”
Get full text

Design of Maximally Permissive Controllers for Solving Deadlock Problems in Flexible Manufacturing Systems by Yen-Liang Pan, Wen-Yi Chuang, Kuang-Hsiung Tan, Ching-Yun Tseng

Subjects: “…Petri Net…”
Get full text

THE APPROACH ТО ТНE ASSESSMENT OK THE EFFECTIVENESS OF THE AVIATION SECURITY SERVICE OF AIRLINES USING PETRI NETS by B. V. Zubkov, V. V. Iudaev, Yu. A. Verbitckiy

Subjects: “…petri net…”
Get full text

Modeling and evaluation of information systems using coloured petri network by Ehsan Zamirpour, Ali Harounabadi, Seyed Javad Mirabedini

Subjects: Get full text

Design and Realization of a Modeling Method in Security Analysis of Signal System by WU Weiping, HU Jian, LI Pengdong

Subjects: “…Petri net…”
Get full text

PENERAPAN PETRI NET PADA SISTEM ARUS LALU LINTAS by Sri Rejeki Puri Wahyu Pramesthi

Subjects: “…coverability tree, petri net, simulasi arus lalu lintas.…”
Get full text

Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm by D. A. Zaitsev

Subjects: Get full text

Fault Management in Speed Control Systems of Hydroelectric Power Plants Through Petri Nets Modeling: Case Study of the Alazán Power Plant, Ecuador by Cristian Fernando Valdez-Zumba, Luis Fernando Guerrero-Vásquez

Subjects: “…Petri net…”
Get full text

On a Function Representation in an Imperative Program Model Specified by Petri Nets by G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov

Subjects: Get full text