3 research outputs found
Interpenetrating polymer networks based on natural rubber and poly(methylmethacrylate)
Several series of sequential interpenetrating polymer networks using natural rubber and
poly(methylmethacrylate) were prepared. Three types of IPNs known as semi-1 IPNs,
semi-2 IPNs and full IPNs have been prepared at various compositions. In addition,
blends of natural rubber and poly(methylmethacrylate) were prepared for comparison.
These materials have been characterized by dynamic mechanical thermal analysis, modulated temperature thermal differential scanning calorimetry, stress–strain analysis
and some soxhlet extraction studies. The effects of composition and cross-linking of NR
component and/or PMMA component on the physical and dynamic mechanical properties
have been evaluated. [Continues.
Dynamic modification of system structures using LLPNs
In this paper we aim to set up a framework for object Petri net semantics, allowing the modification of object net structures at runtime. The approach uses linear logic Petri nets (LLPNs) and performs the structure modification on a linear logic encoding of the object net. In addition, Valk's self-modifying Petri nets are shown to be subsumed by LLPNs.
We expand on the existing theory of Farwer's LLPNs, which are Petri nets with linear logic formulae as tokens. This work in progress uses intuitionistic linear logic as the basis of a method for ensuring desirable properties - such as termination or non-termination - of P/T nets, coloured Petri nets and LLPNs