A Petri Net Model for Reasoning in the Presence of Inconsistency.

Tadao Murata V. S. Subrahmanian Toshiro Wakayama

Published in: IEEE Trans. Knowl. Data Eng. (1991)

Keyphrases

petri net model
petri net
inconsistent information
service composition
knowledge base
web services
meta level
reasoning process
reasoning systems
analogical reasoning
integrity checking
expert systems
manufacturing systems
automated reasoning
reasoning mechanisms
deductive reasoning