Key points are not available for this paper at this time.
초록 이 논문은 생물학적 시스템을 표현하기 위한 두 가지 잘 알려진 컴퓨팅 프레임워크 간의 강한 연결을 형성하여 이들 간의 기술 이전을 원활하게 하는 것을 목표로 하고 있습니다. 불리언 네트워크는 생물학자들이 사용하는 잘 확립된 형식입니다. 이들은 서로 다른(동기식 및 비동기식) 업데이트 의미론 하에서 연구되어 시스템 행동의 뚜렷한 측면을 관찰하고 특성화할 수 있도록 합니다. 최근에 불리언 네트워크를 위한 가장 허용적인 의미론이라는 새로운 의미론이 제안되어 생물학적 현상을 더 충실히 표현할 수 있게 되었습니다. 반응 시스템은 살아있는 세포의 생화학적 반응에서 영감을 받은 간소화된 형식입니다. 반응 시스템은 기본 생물학적 현상에 대한 더 깊은 통찰력을 얻는 데 도움이 될 수 있는 다양한 분석 기술을 지원합니다. 우리의 목표는 불리언 네트워크 영역 내에서 반응 시스템의 행동을 예측하고 이해하기 위한 가용 도구 키트를 활용하는 것입니다. 이 논문에서는 먼저 반응 시스템의 행동을 가장 허용적인 의미론을 포함한 여러 비동기 의미론으로 확장한 다음, 불리언 네트워크와 반응 시스템이 동기식, 일반/완전 비동기식 및 가장 허용적인 의미론 하에서 동형 행동을 나타낸다는 것을 증명합니다.
Bruni 외 (Sat,)은 이 질문을 연구했습니다.