본문 바로가기
KERD
논문KCI 등재

On minimal Crisp Boolean Petri net generating Boolean Petri net

0

조회

0

다운로드

0

인용

0

참고문헌

키워드

주제분류수학

초록

We extend the concept of BPNs by studying Crisp BPNs and its reachability analysis. We initialize by constructing BPNs from the Minimal Crisp BPNs and adding on some more Nets in BPNs that generate all possible binary vectors as a subset of the marking vectors in their reachability.

Abstract

We extend the concept of BPNs by studying Crisp BPNs and its reachability analysis. We initialize by constructing BPNs from the Minimal Crisp BPNs and adding on some more Nets in BPNs that generate all possible binary vectors as a subset of the marking vectors in their reachability.

관련 논문AI추천

이 간행물의 다른 논문 (28건)