PN-based Formal Modeling and Verification for ASIP Architecture.

Yun Zhu Xi Li Yuchang Gong Zhi-Gang Wang

Published in: ICESS (2004)

Keyphrases

colored petri nets
petri net
management system
formal model
modeling method
formal methods
real time
formal analysis
formal models
model checking
software architecture
reactive systems
genetic algorithm
conceptual model
modeling framework
social networks
distributed architecture
hardware architecture