Call for Papers and Other Useful Academic Information

–===============0275869287== Content-Type: multipart/alternative; boundary=”—-=_Part_33045_2650135.1229287408609″ ——=_Part_33045_2650135.1229287408609 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline Dear Claus Reinke. I would like to clarify one thing, related to what you said: > Some of the tools are there, eg > http://www.informatik.uni-hamburg.de/TGI/PetriNets/introductions/aalst/ > http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/java/ It’s true, but… from a very pratical and simple point of view. Beside petri-nets, there’s a [...]

The one-sentence answer would be that temporal logic does not distinguish between conflict of A and B in your sense and unsatisfiability of A&B, whence any research specifically directed to conflict per se would most likely start from some other sense of the word “conflict.” In more detail, for any logical framework that has a [...]