• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1990.10a
• /
• pp.354-357
• /
• 1990

• Journal of the Korean Association of Geographic Information Studies
• /
• v.15 no.2
• /
• pp.1-11
• /
• 2012

Due to a heavy rain resulted from the global environmental change, collapse accidents happen annually and it is a tendency to increase the loss of life and economy. Thus, measures for the collapse of slope are required. If the slope can be simulated before cutting, the collapse can be predicted, and also the accident of the collapse can be minimized at the cost of recovery. This paper presents a simulation method of a slope which is important in cutting. The method is modeling and designing using Petri-Net and is implemented in the Windows XP using Arc GIS. Therefore, by means of cutting and reclamation based on GIS, this paper can contribute to saving a lot of time and money.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3785-3793
• /
• 2000

Effective synchronization specification model which can specify temrxlral relationship among media resolving asynchronous problem due to variable network delay is necessary in a distributed multimedia system. Therefore in this paper, we propose RTPN(Real- Time Petri Net) synchronization specification model based on Petri Net for multimedia application in a distributed real time environment. The proposed RTPN model supplies a tlexible decsription of the temporal relationship among various media objects by defining primary key media and relative key media according to delay and importance among media. Firing rule is instantly executed by firing function based on QoS values which supports intra-media and inter-media syncbronization. And asynchronous control algorithm for resynchronization of presentation level is possible more effective supporting of QoS.

• Journal of Advanced Navigation Technology
• /
• v.16 no.1
• /
• pp.109-115
• /
• 2012

Humanities is very difficult area to use the computer. However, recently, convergence trend has increase widely at all of the academic area. Therefore, in this paper, we propose a technical method to use an IT for the popularity of humanities. For this purpose, we implement a path process that use Petri-net to apply digital storytelling to humanities. We also make a structure to connect an examples and questions from sentences or articles as digital storytelling. The digital storytelling consists of six factors; author, synopsis, background, construction, view point, and user's or reader's review. Proposed method provides a process to analyze the data path of a literary work using Petri-net.

• The KIPS Transactions:PartB
• /
• v.9B no.5
• /
• pp.615-624
• /
• 2002

The concept of a hyperpresentation, as an extension of a hypermedia, is the presentation in which time-varying multimedia presentations are dynamically linked together and a hyperlink's context can be changed over time at any time during a continuous presentation. While this concept provides users with a flexible and powerful tool for their descriptions of the multimedia presentation, inconsistency problems in the synchronized presentations connected by hyper links can be introduced. This paper introduces a method of describing the hyperpresentation using Petri Net and proposes a methods of detecting inconsistent hyper link loop in the hyperpresentation description.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• The KIPS Transactions:PartC
• /
• v.12C no.4 s.100
• /
• pp.559-570
• /
• 2005

ECN is accurate in determining traffic congestion since it explicitly notifies the incipient congestion. Therefore, ECN method has been thoroughly studied in the field of wireless TCP. This paper introduces a formula to find the optimal threshold for ECN marking. We have implemented a Petri net model of 'TCP with ECN strategy' and performed simulations on it in order to verify the validity of the formula. We have also introduced ideas of applying the formula in practice. The primary contribution of this paper is proposing a formula to find the optimal threshold for ECN marking. However, introducing the Petri net model of 'TCP with ECN strategy' is no less valuable contribution because it can be helpfully used by the researchers in studying network protocols. We have built the Petri net model by modifying the existing Petri net model of TCP. In order to add ECN strategy to the existing model, we have mainly modified the network part. We have also modified sender part and receiver part as well.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.38 no.5
• /
• pp.44-57
• /
• 2001

In order to synthesize grammatically correct Korean voices, we have to refer to the 'Standard Pronunciation Rules(SPR)' stated in the 'Standard Grammar of Korean Language.' Therefore, the rules that is used for a Korean-voice-synthesis system to find Korean voices corresponding to a given Korean sentence must completely reflect the SPR and must be sound. However, in the field of computer science they have just used the SPR without proving the completeness and soundness of their rules. In this paper, we construct a Petri net model for each rule of SPR, integrate all the Petri net models to build one big Petri net completely representing SPR, and analyse the Petri net to prove the consistency of it. Then, we transfer the Petri net model into a look-up table for Korean voice. Using this table, we can avoid the drawbacks of existing approaches such as going through several stages or repetitively applying a converting process.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.543-563
• /
• 1996

In this paper, we propose a Timed Fuzzy Petri Net(TFPN) model as a new model of real-time fuzzy control. The TFPN model, which is useful for fuzzy inference and fuzzy control is an integrated model of Timed PetriNet and Fuzzy Petri Net. Additionally, a Timed Fuzzy Control Language is defined as a textual specification model of fuzzy control rues, and proposed a TFPN modeling method. The TFPN model is a Petri Net formalism of fuzzy control systems. Execution rule is consisted of marking(i.e,fuzzyfication) and firing(i.e,inference and defuzzyfication) procedures. A simple case work by using TFPN model shows us computing time of inference and defuzzyfication is low and uncertainty and visibility of fuzzy control rule are modeled effectively.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.3
• /
• pp.36-41
• /
• 2005

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Perti Nets)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.