Petri nets: an introduction
Relational algebraic semantics of deterministic and nondeterministic programs
Theoretical Computer Science
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Realtion-Algebraic Analysis of Petri Nets with RELVIEW
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
The Minimal Coverability Graph for Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Petri Net Analysis Using Boolean Manipulation
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
State space analysis of Petri nets with relation-algebraic methods
Journal of Symbolic Computation
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Hi-index | 0.00 |
We provide a relation-algebraic characterization of liveness in Petri nets based on a relation-algebraic definition of both the structure and the state space of Petri nets. Such an approach, compared to the common ones that apply predicate logic and set theory, shifts the formalization to a more abstract level. As a main benefit, Petri net properties can be proved in a rigorous mathematical style. Since the characterizations are executable relational specifications, they provide the possibility for tool support.