Search Sciweavers | Sciweavers

220 search results - page 6 / 44

» On Nets, Algebras and Modularity

click to vote

TSE
1998

115views more TSE 1998»

Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering

13 years 7 months ago

Download koasas.kaist.ac.kr

—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...

Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon

claim paper

Read More »

click to vote

APN
1995
Springer

128views Artificial Intelligence» more APN 1995»

Modular State Space Analysis of Coloured Petri Nets

13 years 11 months ago

Download www.daimi.au.dk

State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...

Søren Christensen, Laure Petrucci

claim paper

Read More »

click to vote

BMCBI
2008

121views more BMCBI 2008»

Modularization of biochemical networks based on classification of Petri net t-invariants

13 years 7 months ago

Download www.biomedcentral.com

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 ...

Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...

claim paper

Read More »

click to vote

IWANN
2001
Springer

322views Neural Networks» more IWANN 2001»

Optimal Modular Feedforward Neural Nets Based on Functional Network Architectures

14 years 4 days ago