1014 search results - page 148 / 203 » ''What Is a Petri Net |
126
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: A central question in cancer biology is what changes cause a healthy cell to form a tumor. Gene expression data could provide insight into this question, but it is dif...
113
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
105
click to vote
DAC
1998
ACM
16 years 1 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
113
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
87
Voted
ICALP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...