Petri net-based Verification Methods on MSC Specifications

Naomoto Kato ,  Yoshiaki Shigeta ,  Wata 외 3명

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1997 .01

Petri net와 그의 변형

오길록

(구)정보과학회논문지

1983 .05

Petri Nets over Multiple-Valued Logic Systems Analysis and Applications

Ali Massoud Haida ,  Mititada Mo ,  isue

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

Petri Net을 이용한 시간논리 구조의 표현

김정철 ,  모영승 ,  김진권 외 1명

대한전기학회 학술대회 논문집

2000 .11

Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）

한영렬 ,  박문영

한국통신학회지(정보와통신)

1982 .01

Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling

이요섭 ,  박정문 ,  김성열 외 1명

한국정보과학회 학술발표논문집

1991 .04

A Novel Petri Net for Ternary Logic System

Ali Massoud Haida ,  Mititada Mo ,  isue

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1996 .01

Petri Nets for Ternary Logic System

Ali Massoud Haida ,  Mititada Mo ,  isue

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1995 .01

Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets

Tadao Mu ,  ata

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

1996 .01

Communication Protocol의 design 을 위한 Specification과 Verification에 관한 연구

정환태 ,  김창민 ,  김영찬

한국정보과학회 학술발표논문집

1986 .10

Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )

김명희 ,  이종근

대한전자공학회 학술대회

1996 .01

Applications of Petri nets to Non-Monotonic Logic

Chuang Lin ,  Tadao Mu ,  ata

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1990 .01

A Performance Model for Intelligent Network by Using Petri Nets

Choong Ho Cho ,  Kwang Hyung Lee ,  Duck Bin Im 외 2명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

시스템 분석을 위한 Petri net의 축조 연구

이종근

한국통신학회 학술대회논문집

1990 .11

시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )

이종근

한국통신학회 학술대회논문집

1990 .01

컴퓨터 시스템 분석을 위한 Petri net언어의 생성

조영욱 ,  이광형 ,  유관종 외 1명

대한전자공학회 학술대회

1986 .12

컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )

조영욱 ,  유관종 ,  진성일 외 1명

대한전자공학회 학술대회

1986 .01

Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링 ( Modeling of interworking system for different management networks using Petri Net )

임미경 ,  안정희 ,  이광휘 외 1명

한국통신학회 학술대회논문집

1998 .01

Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링

임미경 ,  안정희 ,  이광휘 외 1명

한국통신학회 학술대회논문집

1998 .07

페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석

이우진 ,  차성덕 ,  권용래 외 1명

정보과학회논문지 : 소프트웨어 및 응용

2000 .03