Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
暂无分享,去创建一个
Mario R. F. Benevides | Edward Hermann Haeusler | Bruno Lopes | E. Haeusler | M. Benevides | Bruno Lopes
[1] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[2] Karl R. Abrahamson. Decidability and expressiveness of logics of processes , 1980 .
[3] John-Jules Ch. Meyer,et al. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..
[4] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[5] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[6] Mario R. F. Benevides,et al. A Propositional Dynamic Logic for CCS Programs , 2008, WoLLIC.
[7] Christof Löding,et al. Propositional dynamic logic with recursive programs , 2007, J. Log. Algebraic Methods Program..
[8] Mario R. F. Benevides,et al. Propositional Dynamic Logic for Petri Nets with Iteration , 2016, ICTAC.
[9] David Peleg,et al. Concurrent dynamic logic , 1987, JACM.
[10] Mario R. F. Benevides,et al. Reasoning about Multi-Agent Systems Using Stochastic Petri Nets , 2015, PAAMS.
[11] Mario R. F. Benevides,et al. Extending Propositional Dynamic Logic for Petri Nets , 2014, LSFA.
[12] Heikki Tuominen. Elementary net systems and dynamic logic , 1988, European Workshop on Applications and Theory in Petri Nets.
[13] Marcus Kracht. Syntactic codes and grammar refinement , 1995 .
[14] Jan van Eijck,et al. Logic and Information Flow , 1994 .
[15] Assen Petkov. Propositional Dynamic Logic in Two- and More Dimensions , 1987 .
[16] Mario R. F. Benevides,et al. Propositional dynamic logic for Petri nets , 2014, Log. J. IGPL.
[17] Dimiter Vakarelov,et al. PDL with intersection of programs: a complete axiomatization , 2003, J. Appl. Non Class. Logics.
[18] Grazyna Mirkowska,et al. PAL - propositional algorithmic logic , 1979, Fundam. Informaticae.
[19] David Peleg,et al. Communication in Concurrent Dynamic Logic , 1987, J. Comput. Syst. Sci..
[20] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[21] Maurizio Lenzerini,et al. Boosting the Correspondence between Description Logics and Propositional Dynamic Logics , 1994, AAAI.
[22] Frank Wolter,et al. Dynamic Description Logics , 1998, Advances in Modal Logic.
[23] Christiano Braga,et al. Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case , 2015, SBMF.
[24] George Gargov,et al. A Note on Boolean Modal Logic , 1990 .
[25] Jianwen Su,et al. Tools for composite web services: a short overview , 2005, SGMD.
[26] C. A. Petri. Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.
[27] Richard Hull. Web Services Composition: A Story of Models, Automata, and Logics , 2005, ICWS.
[28] David Harel,et al. Strengthened Results on Nonregular PDL , 1999 .
[29] Sama Khosravifar. Modeling Multi Agent Communication Activities with Petri Nets , 2013 .
[30] Luis Fariñas del Cerro,et al. DAL - A Logic for Data Analysis , 1985, Theor. Comput. Sci..
[31] Robert Goldblatt,et al. Parallel action: Concurrent dynamic logic with independent modalities , 1992, Stud Logica.
[32] Walter Vogler,et al. Executions: A New Partial-Order Semantics of Petri Nets , 1991, Theor. Comput. Sci..
[33] David Harel,et al. Deciding Properties of Nonregular Programs , 1993, SIAM J. Comput..