Petri Nets에 대한 규칙 기반 검증은 어떻게 작동하며 이것이 무엇이 좋은가?

Question

친구가 방금 "Petri Nets와의 규칙 기반 검증"이라는 컴퓨터 과학의 새로운 개발을 지적했습니다. 그는 컴퓨터 사람이 아니라 아티스트이므로 정말 멋진 일이 있는지 궁금합니다. 전화를 통해 그는 러시아어로 신문을 읽고 번역하여 나에게 말했습니다.이 멋진 새로운 기술은 규칙 기반 시스템의 코드 아키텍처를 자동으로 얻는 것입니다. 우리가 완벽하게 코딩하는 데 도움이되는 일종의 인공 지능은? 좋아요, 정말 모르겠습니다. 컴퓨터 과학을 공부하지 않았습니다.

궁금한 점 : 정확히 무엇에 관한 것인가? 그리고 어떻게 작동합니까? 내 프레임 워크에 사용할 수 있습니까?

"규칙 기반 시스템"은 거의 모든 것 같아요. 모든 코드에는 규칙이 있습니다. 유용한 답변을 희망합니다.

Answer 1

Petri Nets는 상태 공간과 국가 간의 전환을 표현하는 멋진 방법 일뿐입니다. 그러나 그들은 튜링에 완료되므로 튜링 머신에 적용되는 모든 것이 페트리 네트에게도 마찬가지입니다.

그들은 결코 인공 지능이 아닙니다. 내 Oppinion에서 Petri Nets에 대한 유용한 응용 프로그램은 시뮬레이션 목적을위한 추상 모델링 도구입니다.

편집 : 이에 대한 몇 가지 예는 컴퓨터 네트워크의 패킷 시뮬레이션 또는 자동 캣의 작동 방식 일 수 있습니다. 여전히 관심이 있다면 여기에 Petri Nets를 임의의 행동으로 가르치는 컴퓨터 시뮬레이션 클래스에 대한 링크가 있습니다. http://www.sim-md.de/its/lectures/09-petrinets.pdf

편집 2 : 상단 링크를 무시하면 더 이상 작동하지 않습니다.