petri-net

1열

1답변

장소 전환 그물에 사용 된 장소 불변량을 이해하는 데 도움이 필요합니다.

주어진 장소 전환 그물의 표시를 알고 있다고 가정합니다. 표시가 장소 불변인지 어떻게 결정합니까? 나는 또한 초기 마킹을 알고있다. 나는 매우 쉽게 소화하는 설명에 감사 할 것이다. 나는 페이지 불변을 읽었는데, 여기서 불변 식을 찾는 수식이 설명되어 있지만 완전히 이해하지 못합니다. 장소 불변량이 무엇인지 간단히 말해주지 마십시오. 내가 어떻게 이것을 찾

3열

1답변

활동 다이어그램을 페트리 네트로 변환하고 합성 한 다음 분석하는 방법은 무엇입니까?

나는 페트리 네트에 관한 프로젝트를하고있다. Um 툴 Umbrello를 사용하여 활동 다이어그램 (.xmi 형식)을 생성했습니다. 나는 그것을 페트리 네트 (petri net)로 변환 한 다음 석회화 (petrify) 도구를 사용하여 합성해야합니다. 하지만이를 페트리 넷으로 변환하기 위해서는 액티비티 다이어그램을 XML 형식으로 변환해야합니다. petrif

0열

3답변

사이클없이 교착 상태가 발생했습니다.

블로킹 함수 (자바 동기화 메서드)에 대한 가능한 모든 호출을 나타내는 그래프를 그리고이 그래프에서 어떤 사이클도 얻지 못했다면 교착 상태가 발생하지 않을 수 있습니다. 페트리 네트가 그렇게 작동하지 않습니까? 나는 다음과 같은 답변을 찾고있는 것이 아닙니다. 괴물 프레임 워크 blahblah를 사용하십시오. 동기화 된 메소드로 멀티 스레딩을 처리하고 싶습

0열

1답변

평가판 웹 기반 편집기 : 툴킷 검색

내 목표는 웹 (예 : 페트 그물 확장) 용 웹 기반 편집기 인 that swing app, Java (Java)를 구현하는 것입니다. 그러나 나는 그런 식으로 풍부한 웹 응용 프로그램을 구현 한 적이 없으므로 적절한 툴킷을 지금 찾고 있습니다. 현재 GWT에 대해 생각하고 있습니다 만, 내가 그것에 관해서는 expirience가없는 한, 나는 또 다른 옵

3열

1답변

pnml의 자바 코드를 사용하여 컬러 페트리 넷 표현

컬러 페트리 넷 (CP-Net)을 작성할 때 PNML의 다음 예제와 같은 선언 섹션에서 자바 코드를 사용할 수 있습니까? 이 부분도? 다음 예제는 XML 표현이지만 pnml에서 같은 방식으로 표현할 수 있습니까? 만약 아니라면, 어떻게 도와 줄 수 있습니까? 덕분에, <?xml version="1.0" encoding="UTF-8" standalone="n

0열

1답변

랜덤 값을 가진 토큰 만들기

아래에 표시된 페트리 넷에서 rand() 함수가 작동하지 않는 것으로 보아서 input2에 임의의 값으로 토큰을 만드는 데 문제가 있습니다. 그것을 할 다른 방법이 있습니까?

2열

2답변

상태와 활동이 모두있는 표준 다이어그램 유형이 있습니까?

가 나는 UML 상태 차트를 보여줍니다하면서 흐름도의 현대 버전이의 감각에 있도록 UML 활동 다이어그램, 알고리즘을 설명하는 이해하는 모든 객체 또는 자체에서 찾을 수있는 시스템이 상태 가능 (또는 관심) 및 이 상태들 사이에 가능한 모든 전환을 보여줍니다. I는 또한 직교 모델임을 이해 : 상태 차트 개의 상태를 연결하는 화살표는 알고리즘, 활동도의 일

0열

1답변

페트리 넷의 도달 가능성 그래프에서 왜 최종 마킹 수가 정의되지 않습니까?

나는 여러 번 읽고 들었습니다. 도달 성 그래프는 특정 유형의 전환 시스템으로, 초기 표시는 이고 최종 표시는입니다. 그러나 도달 가능성 그래프를 구성하면 최종 표시가 매우 명확합니다. 이것은 전환을 시작하는 방법에 따라 최종 마킹이 무엇인지 알 수 없다는 뜻입니까? 최종 표식의 수를 열거/계산할 수 있기 때문에 분명합니다.

2열

3답변

세탁기 petri net

페트리 그물을 처음 사용하는 것은 세탁기 모델입니다. 나는 시작과 지금까지 다음과 같습니다 당신이 어떤 수정이 있거나 도움이 있습니까? 나는 그것이 틀린 것을 분명히 안다. 그러나 나는 초보자이며, 너희들이 볼 수있는 실수를 알지 못한다. 미리 감사드립니다.

1열

1답변

어떻게 PNML 프레임 워크를 사용하여 pnml 파일을 구문 분석 할 수 있습니까?

내가 pnml 파일을 구문 분석하는 PNML 프레임 워크 http://pnml.lip6.fr/index.html를 사용할 수 있지만 내가 어떤 유용한 정보를 찾을 수 없습니다 방법을 찾으려고 , 당신이 나를 도와 드릴까요?