책 이미지
eBook 미리보기
책 정보
· 제목 : Transactions on Petri Nets and Other Models of Concurrency IV (Paperback, 2011) 
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9783642182211
· 쪽수 : 225쪽
· 출판일 : 2011-01-03
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9783642182211
· 쪽수 : 225쪽
· 출판일 : 2011-01-03
목차
From the contents: Vicinity Respecting Homomorphisms for Abstracting System Requirements Search-Order Independent State Caching Bounded Parametric Model Checking for Elementary Net Systems SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets Parametric Model Checking with VerICS Schedule-Aware Workflow Management Systems On-the-Fly Auditing of Business Processes Modeling Organizational Units as Modular Components of Systems of Systems A Multi-Agent Organizational Framework for Coevolutionary Optimization.
저자소개
추천도서
분야의 베스트셀러 >















