A Minimum Cycle Time Analysis for Hierarchical Petri

Yim, Jaegeol

doi:10.14257/ijseia.2016.10.7.11

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

Publication Types

Select...

Article1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The process of software verification starts with formal description of the prescribed specifications. Petri net has been widely used to formally describe the prescribed specification [2][3].…”

Section: Introductionmentioning

confidence: 99%

A Petri Net Model of Location-Based Content Providing Systems

Jo¹,

Yim²

2017

IJCA

Self Cite

View full text Add to dashboard Cite

In software system development, it is well known that investing efforts of proving correctness of the design of the system before implementing the software system is much more cost effective than skipping this stage and directly jump into the implementation stage. The process of proving correctness of the design usually starts with formalization of the design. Among the countless formal representation methods, this paper uses Petri net that is a mathematical and graphical modeling tool. Location based service (LBS) has been studied for a long time and most of people enjoy LBS everybody. This paper presents a Petri net model of a location-based content providing system, a type of LBS. Then, the minimum cycle time of the developed Petri net will be analyzed. The minimum cycle time of the Petri net is close to the response time of the LBS system that is one of the important factors specified in system requirements.

show abstract

Section: Introductionmentioning

confidence: 99%