4 search results - page 1 / 1 » apn 1995 |
APN
1995
Springer
13 years 8 months ago
1995
Springer
APN
1995
Springer
13 years 8 months ago
1995
Springer
Speci cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene cialfromadesignpointofview.Theexplicitpresence(orabsence)ofacausaldependencybetweenact...
APN
1995
Springer
13 years 8 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 ...
APN
1995
Springer
13 years 8 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...