1 |
1
토큰을 송신하는 컬러드 페트리 넷 모델인 컬러드 페트리 넷 게시자를 수신하는 단계;상기 토큰을 수신하는 컬러드 페트리 넷 모델인 컬러드 페트리 넷 구독자를 적어도 하나 수신하는 단계; 및상기 컬러드 페트리 넷 게시자와 상기 컬러드 페트리 넷 구독자를 연결하는 형태를 확인하여 통신 채널을 설정하는 단계를 포함하는 컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
2 |
2
제1항에 있어서,상기 컬러드 페트리 넷 게시자와 상기 컬러드 페트리 넷 구독자의 색함수는 컬러드 페트리 넷의 색함수에 포함되는 원소인컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
3 |
3
제1항에 있어서,상기 컬러드 페트리 넷 게시자의 플레이스와 상기 컬러드 페트리 넷 구독자의 플레이스는 모두 컬러드 페트리 넷의 플레이스에 포함되는 원소이고,상기 컬러드 페트리 넷 게시자의 플레이스와 상기 컬러드 페트리 넷 구독자의 플레이스의 합집합은 공집합인컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
4 |
4
제1항에 있어서,상기 컬러드 페트리 넷 게시자의 트랜지션과 상기 컬러드 페트리 넷 구독자의 트랜지션은 모두 컬러드 페트리 넷의 트랜지션에 포함되는 원소이고,상기 컬러드 페트리 넷 게시자의 트랜지션과 상기 컬러드 페트리 넷 구독자의 트랜지션의 합집합은 공집합인컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
5 |
5
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 트랜스퍼 방식으로 모든 상기 컬러드 페트리 넷 구독자의 플레이스로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 플레이스와 모든 상기 컬러드 페트리 넷 구독자의 첫번째 플레이스를 상기 전달용 트랜지션으로 연결하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
6 |
6
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 트랜스퍼 방식으로 상기 컬러드 페트리 넷 구독자의 플레이스로 랜덤하게 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 플레이스와 모든 상기 컬러드 페트리 넷 구독자의 첫번째 플레이스를 각각의 전달용 트랜지션으로 연결하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
7 |
7
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 트랜스퍼 방식으로 상기 컬러드 페트리 넷 구독자의 플레이스로 라운드로빈 형태로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 플레이스와 모든 상기 컬러드 페트리 넷 구독자의 첫번째 플레이스를 각각의 전달용 트랜지션으로 연결하고,상기 각각의 전달용 트랜지션은 다음에 선택될 전달용 트랜지션을 결정 지을 수 있는 라운드로빈 플레이스를 포함하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
8 |
8
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 클론 방식으로 모든 상기 컬러드 페트리 넷 구독자의 플레이스로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜잭션과 전달용 플레이스를 연결하고, 상기 전달용 플레이와 모든 상기 컬러드 페트리 넷 구독자의 첫번째 플레이스를 전달용 트랜지션으로 연결하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
9 |
9
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 클론 방식으로 상기 컬러드 페트리 넷 구독자의 플레이스로 랜덤하게 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜잭션과 전달용 플레이스를 연결하고, 상기 전달용 플레이와 모든 상기 컬러드 페트리 넷 구독자의 첫번째 플레이스를 각각의 전달용 트랜지션으로 연결하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
10 |
10
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 클론 방식으로 상기 컬러드 페트리 넷 구독자의 플레이스로 라운드로빈 형태로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜잭션과 전달용 플레이스를 연결하고, 상기 전달용 플레이와 모든 상기 컬러드 페트리 넷 구독자의 첫번째 플레이스를 각각의 전달용 트랜지션으로 연결하고,상기 각각의 전달용 트랜지션은 다음에 선택될 전달용 트랜지션을 결정 지을 수 있는 라운드로빈 플레이스를 포함하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
11 |
11
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 트랜스퍼 방식으로 모든 상기 컬러드 페트리 넷 구독자의 트랜지션으로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 상기 컬러드 페트리 넷 게시자의 마지막 플레이스 간의 연결은 취소하고,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 모든 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 각각의 전달용 플레이스로 연결하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
12 |
12
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 트랜스퍼 방식으로 상기 컬러드 페트리 넷 구독자의 트랜지션으로 랜덤하게 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 상기 컬러드 페트리 넷 게시자의 마지막 플레이스 간의 연결은 취소하고,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 모든 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 전달용 플레이스로 연결하고,상기 전달용 플레이스는 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 랜덤하게 선택해서 상기 토큰을 전달하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
13 |
13
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 트랜스퍼 방식으로 상기 컬러드 페트리 넷 구독자의 트랜지션으로 라운드로빈 형태로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 상기 컬러드 페트리 넷 게시자의 마지막 플레이스 간의 연결은 취소하고,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 제1 전달용 플레이스를 연결하고, 상기 제1 전달용 플레이스와 모든 상기 컬러드 페트리 넷 구독자 각각의 전달용 트랜잭션을 연결하고,상기 각각의 전달용 트랜잭션과 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 대응하는 각각의 제2 전달용 플레이스로 연결하고,상기 각각의 전달용 트랜지션은 다음에 선택될 전달용 트랜지션을 결정 지을 수 있는 라운드로빈 플레이스를 포함하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
14 |
14
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 클론 방식으로 모든 상기 컬러드 페트리 넷 구독자의 트랜지션으로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 모든 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 각각의 전달용 플레이스로 연결하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
15 |
15
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 클론 방식으로 상기 컬러드 페트리 넷 구독자의 트랜지션으로 랜덤하게 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 모든 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 전달용 플레이스로 연결하고,상기 전달용 플레이스는 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 랜덤하게 선택해서 상기 토큰을 전달하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
16 |
16
제1항에 있어서,상기 통신 채널을 설정하는 단계는,상기 컬러드 페트리 넷 게시자가 클론 방식으로 상기 컬러드 페트리 넷 구독자의 트랜지션으로 라운드로빈 형태로 상기 토큰을 전달하도록 연결되는 경우,상기 컬러드 페트리 넷 게시자의 마지막 트랜지션과 제1 전달용 플레이스를 연결하고, 상기 제1 전달용 플레이스와 모든 상기 컬러드 페트리 넷 구독자 각각의 전달용 트랜잭션을 연결하고,상기 각각의 전달용 트랜잭션과 상기 컬러드 페트리 넷 구독자의 첫번째 트랜지션을 대응하는 각각의 제2 전달용 플레이스로 연결하고,상기 각각의 전달용 트랜지션은 다음에 선택될 전달용 트랜지션을 결정 지을 수 있는 라운드로빈 플레이스를 포함하는컬러드 페트리 넷들을 연결하여 코 컬러드 페트리 넷을 생성하는 방법
|
17 |
17
제1항 내지 제16항 중 어느 한 항의 방법을 실행하기 위한 프로그램이 기록되어 있는 것을 특징으로 하는 컴퓨터에서 판독 가능한 기록 매체
|
18 |
18
연결하는 컬러드 페트리 넷의 모델들 중에서 토큰을 송신하는 컬러드 페트리 넷 모델인 컬러드 페트리 넷 게시자;상기 연결하는 컬러드 페트리 넷의 모델들 중에서 상기 토큰을 수신하는 컬러드 페트리 넷 모델인 컬러드 페트리 넷 구독자; 및 상기 컬러드 페트리 넷 게시자와 상기 컬러드 페트리 넷 구독자를 연결하는 통신 채널을 포함하는 코 컬러드 페트리 넷
|