Concepedia

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

Bernard Berthomieu, Didier Lime, Olivier Roux, François Vernadat

Discrete Event Dynamic Systems · 2007 · 60 citations · 13 references

DOI

Concepts

References

13

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.7K citations

, , +12

Theory of Linear and Integer Programming.

David K. Smith, Alexander Schrijver · Journal of the Operational Research Society · 1987 · 2.3K citations · Full text

, , +11

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

, , +17

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

Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines

Marvin Minsky · Annals of Mathematics · 1961 · 710 citations

, , +16