7 search results - page 2 / 2 » Coloured Petri Nets Extended with Channels for Synchronous C... |
157
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
177
click to vote
APN
2009
Springer
16 years 17 days ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...