1. Propositional Dynamic Logic for Petri Nets;Benevides,2011
2. Modal Logic. Theoretical Tracts in Computer Science;Blackburn,2001
3. Product form equilibrium distributions and a convolution algorithm for Stochastic Petri Nets;Coleman;Performance Evaluation,1996
4. Proving properties in ordinary Petri Nets using LoRes logical language;de Almeida;Petri Net Newsletter,1999
5. Combining deduction and model checking into tableaux and algorithms for Converse-PDL;De Giacomo;Information and Computation,1998