498 search results - page 22 / 100 » On the Category of Petri Net Computations |
CONCUR
1995
Springer
14 years 16 hour ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
SACMAT
2004
ACM
14 years 1 months ago
2004
ACM
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
MEMBRANE
2005
Springer
14 years 1 months ago
2005
Springer
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
AINA
2004
IEEE
14 years 6 days ago
2004
IEEE
ICNP
1995
IEEE
14 years 7 hour ago
1995
IEEE