100 search results - page 12 / 20 » On the Semantics of Place Transition Nets |
APN
2006
Springer
14 years 5 days ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
TOPNOC
2008
13 years 8 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
CCS
2001
ACM
14 years 28 days ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
AAAI
2000
13 years 9 months ago
2000
With the growth of on-line information, the need for better resource location services is growing rapidly. A popular goal is to conduct search in terms of concepts, rather than wo...