Abstract | ||
---|---|---|
This work extends our previous work [20] with the iteration operator. This new operator allows for representing more general networks and thus enhancing the former propositional logic for Petri Nets. We provide an axiomatization and a new semantics and prove soundness and completeness with respect with its semantics. In order to illustrate its usage, we also provide some examples. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-46750-4_25 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Propositional dynamic logic,Petri nets,Modal logic | Discrete mathematics,Petri net,Computer science,Theoretical computer science,Stochastic Petri net,Modal logic,Resolution (logic),Soundness,Propositional variable,Dynamic logic (modal logic),Intermediate logic | Conference |
Volume | ISSN | Citations |
9965 | 0302-9743 | 1 |
PageRank | References | Authors |
0.36 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario R. F. Benevides | 1 | 143 | 23.75 |
Bruno Lopes | 2 | 14 | 4.40 |
Edward Hermann Haeusler | 3 | 102 | 33.20 |