동시 상태 유지(Concurrent stateful) 라이브러리 API는 진화하는 리소스 소유권(resource ownership), 생명주기 상태(lifecycle states), 그리고 경쟁적인 인터리빙(competing interleavings)을 통해 동작을 노출합니다. 대규모 언어 모델(Large language models, LLM)은 실행 가능한 Rust 테스트를 합성할 수 있지만, 그 출력물은 종종 API 전제 조건(preconditions)을 위반하거나, 내용이 얕거나, 동시성을 우연한 순차적 트레이스(sequential traces)로 축소시키곤 합니다. 반대로, 모델 기반(model-based) 및 체계적 테스트(systematic testing) 기술은 의미론적 제어(semantic control)를 제공하지만, 추상적인 시나리오를 실행 가능한 테스트로 변환하기 위해 상당한 양의 수동 코딩을 요구하는 경우가 일반적입니다. 본 논문은 공식적인 시나리오 설계와 저비용 테스트 구체화(test concretization) 사이의 간극을 해결합니다. 우리는 동시 상태 유지 Rust API에 대한 테스트 생성을 위한 Petri-net 가이드 방법론을 제시합니다. 이 방법은 API 리소스, 생명주기 조건, 그리고 인과적 의존성(causal dependencies)을 유색 토큰(colored tokens)과 전이(transitions)로 표현하며, 합법적인 딥-스테이트(deep-state), 준-합법(near-legal), 그리고 부분 순서(partial-order) 동시 시나리오를 도출합니다. 그리고 이러한 시나리오를 LLM 기반 코드 합성을 위한 제약된 중간 표현(constrained intermediate representation)으로 사용합니다. 국소적 충실도 계약(local-faithfulness contract)과 구조적 복구 루프(structural repair loop)는 구체화 과정 동안 모델링된 의도를 보존하며, Petri 가이드 스케줄 셰이핑(Petri-guided schedule shaping)은 체계적인 탐색을 위해 충돌이 높은 동시성 스켈레톤(concurrency skeletons)을 우선시합니다. 마지막으로 계층적 의미론적 오라클(layered semantic oracle)을 통해 합성 실패와 대상 API의 예상 동작 위반을 구분합니다.