Concepedia

A concurrency-preserving translation from time Petri nets to networks of timed automata

Sandie Balaguer, Thomas Chatain, Stefan Haar

Formal Methods in System Design · 2012 · 16 citations · 14 references

DOIFull text

Open access

Concepts

References

14

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

, , +1

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer · 2007 · 1.1K citations

, , +11

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

, , +17

The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat · International Journal of Production Research · 2004 · 389 citations

, , +12