357 search results - page 41 / 72 » On the Model of Computation of Place Transition Petri Nets |
138
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
113
click to vote
ACSD
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
105
click to vote
STTT
1998
15 years 1 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
123
click to vote
DAC
1999
ACM
16 years 2 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
112
click to vote
MASCOTS
2003
15 years 3 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...