52 search results - page 2 / 11 » Object-Oriented Modelling with High-Level Modular Petri Nets |
133
click to vote
ICCS
2004
Springer
15 years 10 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...
147
click to vote
BIRTHDAY
2005
Springer
15 years 10 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 ...
152
click to vote
APN
2004
Springer
15 years 10 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...
131
Voted
APN
2005
Springer
15 years 10 months ago
2005
Springer
