This paper presents a novel extended timed Petri Net model called PNPM - Petri Net based Representation for Pipeline Modeling, and a verification scheme based on PNPM called PPL-MC - PNPM and Lambda Calculus based Model Checker They focus on formal modeling and verification especially for ASIP architecture with pipeline structure. In this paper, PNPM elements have been defined, and their validity and usage are demonstrated. Also, the scheme of PPL-MC is introduced. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Zhu, Y., Li, X., Gong, Y. C., & Wang, Z. G. (2005). PN-based formal modeling and verification for ASIP architecture. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3605 LNCS, pp. 203–209). Springer Verlag. https://doi.org/10.1007/11535409_28
Mendeley helps you to discover research relevant for your work.