Model Checking of Time Petri Nets Based on Partial Order Semantics Export

@inproceedings{citeulike:1266469, abstract = {Model checking of place/transition-nets based on partial order semantics has been applied successfully to the analysis of causal behaviour of distributed systems. Here, this approach is extended to the causal behaviour of time Petri nets. Expansion of a time Petri net to an equivalent P/T-net is defined, and it is shown that (an abstraction of) the McMillan unfolding of the expanded net is sufficient for model checking w.r.t. formulae of a simple branching time temporal logic L.}, address = {Eindhoven}, author = {Bieber, Burkhard and Fleischhack, Hans}, booktitle = {International Conference on Concurrency Theory}, citeulike-article-id = {1266469}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.5328}, editor = {Baeten, Jos C. M. and Mauw, Sjouke}, keywords = {model-checking, partial-order, semantics}, month = {August}, pages = {210--225}, posted-at = {2007-04-29 17:36:54}, priority = {2}, publisher = {Springer-Verlag}, series = {Lectures Notes in Computer Science}, title = {Model Checking of Time Petri Nets Based on Partial Order Semantics}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.5328}, volume = {1664}, year = {1999} }

TY - CONF ID - citeulike:1266469 L3 - citeulike-article-id:1266469 N2 - Model checking of place/transition-nets based on partial order semantics has been applied successfully to the analysis of causal behaviour of distributed systems. Here, this approach is extended to the causal behaviour of time Petri nets. Expansion of a time Petri net to an equivalent P/T-net is defined, and it is shown that (an abstraction of) the McMillan unfolding of the expanded net is sufficient for model checking w.r.t. formulae of a simple branching time temporal logic L. SE - Lectures Notes in Computer Science AD - Eindhoven EP - 225 TI - Model Checking of Time Petri Nets Based on Partial Order Semantics PB - Springer-Verlag VL - 1664 T2 - International Conference on Concurrency Theory SP - 210 KW - model-checking KW - partial-order KW - semantics AU - Bieber, Burkhard AU - Fleischhack, Hans A2 - Baeten, Jos A2 - Mauw, Sjouke PY - 1999/August// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.5328 ER -