1014 search results - page 40 / 203 » ''What Is a Petri Net |
90
Voted
JSW
2007
15 years 20 days 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...
87
Voted
ICCS
2004
Springer
15 years 6 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...
105
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
115
Voted
AUTOMATICA
2005
15 years 20 days 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...
92
Voted
AC
2003
Springer
15 years 6 months ago
2003
Springer
We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable marking...