1019 search results - page 37 / 204 » Transformations of Petri Nets |
101
click to vote
APN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
104
click to vote
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
107
click to vote
JCSC
1998
14 years 11 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to ...
109
click to vote
ACTA
2000
14 years 11 months ago
2000
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...