7 search results - page 2 / 2 » Coloured Petri Nets Extended with Channels for Synchronous C... |
HT
1998
ACM
13 years 9 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...
APN
2009
Springer
13 years 11 months 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...