22 search results - page 3 / 5 » Complete Process Semantics for Inhibitor Nets |
APN
2001
Springer
14 years 5 days ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
WWW
2006
ACM
14 years 8 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...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
COSIT
2001
Springer
14 years 4 days ago
2001
Springer
In the physical world, decision making in common navigation strategies is based on a mental map which includes a mental representation of geometric features such as distances and d...
APN
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...