Timed high-level nets

On formalizing UML with high-level petri nets

Concurrent object-oriented programming and petri nets

Specification of real-time and hybrid systems in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications

Rewriting Logic as a Unifying Framework for Petri Nets

Unifying Petri Nets, Advances in Petri Nets

Modeling and verification of a class of real-time systems by the use of high level petri nets

Journal of Systems and Software

High level timed Petri net templates for the temporal verification of real-time multiprocessor applications

PCI'01 Proceedings of the 8th Panhellenic conference on Informatics

Design and control of workflow processes: business process management for the service industry

Design and control of workflow processes: business process management for the service industry

Timed CTL model checking in real-time maude

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications