1019 search results - page 50 / 204 » Petri Net Transformations in the |
DAC
1996
ACM
13 years 12 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
JSW
2007
13 years 7 months ago
2007
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
AUTOMATICA
2005
13 years 7 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...