264 search results - page 43 / 53 » Petri Net Based Model Validation in Systems Biology |
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
117
click to vote
BIBE
2007
IEEE
15 years 3 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
BMCBI
2006
14 years 11 months ago
2006
Background: Microarray technologies have become common tools in biological research. As a result, a need for effective computational methods for data analysis has emerged. Numerou...
116
click to vote
ENTCS
2006
14 years 11 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
APN
2005
Springer
15 years 5 months ago
2005
Springer
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...