Searching for "On Time Petri Nets." – sorted by Relevance.
912 documents found, showing 1 through 10.
Next 10 →
-
Processes of Timed Petri Nets
- …Processes of Timed Petri Nets 1 J'ozef Winkowski Instytut Podstaw Informatyki PAN ul. Ordona 21…
- Cited by 3 (1 self) – Add To MetaCart
-
Undecidability of LTL for Timed Petri Nets
- …Undecidability of LTL for Timed Petri Nets Parosh Aziz Abdulla Aletta Nyl'en Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Time processes of time Petri nets
- … Reports ISSN 07835396 No. 38; August 1996 ISBN 951223212X Time processes of time Petri nets Tuomas Aura…
- Cited by 10 (1 self) – Add To MetaCart
-
Analyzing Paths in Time Petri Nets
- …Fundamenta Informaticae 34 (1999) 1--18 1 IOS Press Analyzing Paths in Time Petri Nets Louchka…
- Cited by 5 (3 self) – Add To MetaCart
-
On Parametrical Sequences in Time Petri Nets
- …On Parametrical Sequences in Time Petri Nets Louchka Popova-Zeugmann Humboldt-Universität zu…
- Cited by 5 (3 self) – Add To MetaCart
-
Reduction Rules for Time Petri Nets
- …Accepted for publication in Acta Informatica. Reduction Rules for Time Petri Nets Robert H. Sloan…
- Cited by 11 (3 self) – Add To MetaCart
-
Essential States in Time Petri Nets
- …Essential States in Time Petri Nets Louchka Popova-Zeugmann Humboldt-Universitat zu Berlin…
- Cited by 2 (2 self) – Add To MetaCart
-
Concurrent Execution Of Timed Petri Nets
- …CONCURRENT EXECUTION OF TIMED PETRI NETS Alois Ferscha Institut fur Angewandte Informatik und…
- Cited by 14 (7 self) – Add To MetaCart
-
On Performance Bounds for Interval Time Petri Nets
- …On performance bounds for interval Time Petri Nets £ Simona Bernardi Dipartimento di Informatica…
- Cited by 1 (0 self) – Add To MetaCart
-
Non equivalence between Time Petri Nets and Time Stream Petri Nets
- …Non equivalence between Time Petri Nets and Time Stream Petri Nets Marc Boyer and Michel Diaz LAAS…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
