287 search results - page 2 / 58 » Modular Analysis of Petri Nets |
ICRA
2003
IEEE
13 years 11 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
APN
1995
Springer
13 years 9 months ago
1995
Springer
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 ...
TSE
1998
13 years 5 months ago
1998
—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...
CJ
2000
13 years 5 months ago
2000
ACSD
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...