114
click to vote
APN
1995
Springer
15 years 7 months ago
1995
Springer
Speci cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene cialfromadesignpointofview.Theexplicitpresence(orabsence)ofacausaldependencybetweenact...
138
click to vote
APN
1995
Springer
15 years 7 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 ...
119
click to vote
SAS
2000
Springer
15 years 7 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
146
click to vote
APN
1995
Springer
15 years 7 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...