769 search results - page 5 / 154 » Simple Composition of Nets |
MODELLIERUNG
2008
13 years 9 months ago
2008
ENTCS
2006
13 years 7 months ago
2006
TACS
1991
Springer
13 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
HYBRID
2010
Springer
14 years 18 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...