a tokenizer is a java-related issue ...
in php, you can use explode() for mostly the same.
first check if there's a + in the string.
if so, explode (=split) the string using explode, and you get the tokens in form of an array.
$string = "some + thing";
if(strstr($string, "+"))
{
$tokens = explode("+", $string);
for($i=0; $i<count($tokens); $i++)
{
echo "token #$i: ".trim($tokens[$i])."<br>";
}
}