Search

Your search keyword '"Roux, Olivier H."' showing total 256 results
Start Over Author "Roux, Olivier H."
256 results on '"Roux, Olivier H."'

1. Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata

Author

André, Étienne, Lime, Didier, and Roux, Olivier H.

Subjects
Computer Science - Logic in Computer Science
Abstract

Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Timed automata extend finite-state automata with clocks, compared in guards and invariants with integer constants. Parametric timed automata (PTAs) extend timed automata with timing parameters. Parameter synthesis aims at computing dense sets of valuations for the timing parameters, guaranteeing a good behavior. However, in most cases, the emptiness problem for reachability (i.e., the emptiness of the parameter valuations set for which some location is reachable) is undecidable for PTAs and, as a consequence, synthesis procedures do not terminate in general, even for bounded parameters. In this paper, we introduce a parametric extrapolation, that allows us to derive an underapproximation in the form of symbolic sets of valuations containing not only all the integer points ensuring reachability, but also all the (non-necessarily integer) convex combinations of these integer points, for general PTAs with a bounded parameter domain. We also propose two further algorithms synthesizing parameter valuations guaranteeing unavoidability, and preservation of the untimed behavior w.r.t. a reference parameter valuation, respectively. Our algorithms terminate and can output sets of valuations arbitrarily close to the complete result. We demonstrate their applicability and efficiency using the tools Rom\'eo and IMITATOR on several benchmarks., Comment: This is an extended version of the paper by the same authors published in the proceedings of the 9th International Workshop on Reachability Problems (RP 2015)

Published
2023

2. On Parametric DBMs and Their Applications to Time Petri Nets

Author

Leclercq, Loriane, Lime, Didier, Roux, Olivier H., Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hillston, Jane, editor, Soudjani, Sadegh, editor, and Waga, Masaki, editor

Published
2024
Full Text
View/download PDF

3. Cost Problems for Parametric Time Petri Nets

Author

Lime, Didier, Roux, Olivier H., and Seidner, Charlotte

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

We investigate the problem of parameter synthesis for time Petri nets with a cost variable that evolves both continuously with time, and discretely when firing transitions. More precisely, parameters are rational symbolic constants used for time constraints on the firing of transitions and we want to synthesise all their values such that some marking is reachable, with a cost that is either minimal or simply less than a given bound. We first prove that the mere existence of values for the parameters such that the latter property holds is undecidable. We nonetheless provide symbolic semi-algorithms for the two synthesis problems and we prove them both sound and complete when they terminate. We also show how to modify them for the case when parameter values are integers. Finally, we prove that these modified versions terminate if parameters are bounded. While this is to be expected since there are now only a finite number of possible parameter values, our algorithms are symbolic and thus avoid an explicit enumeration of all those values. Furthermore, the results are symbolic constraints representing finite unions of convex polyhedra that are easily amenable to further analysis through linear programming. We finally report on the implementation of the approach in Romeo, a software tool for the analysis of time Petri nets.

Published
2021

4. Timed Non-interference Under Partial Observability and Bounded Memory

Author

Spriet, Anthony, Lime, Didier, Roux, Olivier H., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Petrucci, Laure, editor, and Sproston, Jeremy, editor

Published
2023
Full Text
View/download PDF

5. A State Class Based Controller Synthesis Approach for Time Petri Nets

Author

Leclercq, Loriane, Lime, Didier, Roux, Olivier H., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gomes, Luis, editor, and Lorenz, Robert, editor

Published
2023
Full Text
View/download PDF

8. Reachability and liveness in parametric timed automata

Author

André, Étienne, Lime, Didier, and Roux, Olivier H.

Subjects
Computer Science - Logic in Computer Science, D.2.4, F.4.3
Abstract

We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable. Notably, the parametric reachability emptiness problem, i.e., the emptiness of the parameter valuations set allowing to reach some given discrete state, is undecidable. Lower-bound/upper-bound parametric timed automata (L/U-PTAs) achieve decidability for reachability properties by enforcing a separation of parameters used as upper bounds in the automaton constraints, and those used as lower bounds. In this paper, we first study reachability. We exhibit a subclass of PTAs (namely integer-points PTAs) with bounded rational-valued parameters for which the parametric reachability emptiness problem is decidable. Using this class, we present further results improving the boundary between decidability and undecidability for PTAs and their subclasses such as L/U-PTAs. We then study liveness. We prove that: (1) deciding the existence of at least one parameter valuation for which there exists an infinite run in an L/U-PTA is PSpace-complete; (2) the existence of a parameter valuation such that the system has a deadlock is however undecidable; (3) the problem of the existence of a valuation for which a run remains in a given set of locations exhibits a very thin border between decidability and undecidability., Comment: This manuscript is an extended version of two conference papers published in the proceedings of ICFEM 2016 and ACSD 2017

Published
2020
Full Text
View/download PDF

11. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

Author

Parrot, Rémi, Briday, Mikaël, Roux, Olivier H., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Buchs, Didier, editor, and Carmona, Josep, editor

Published
2021
Full Text
View/download PDF

12. A Turn-Based Approach for Qualitative Time Concurrent Games

Author

Haddad, Serge, Lime, Didier, Roux, Olivier H., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Buchs, Didier, editor, and Carmona, Josep, editor

Published
2021
Full Text
View/download PDF

16. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets

Author

Lime, Didier, Roux, Olivier H., Seidner, Charlotte, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Donatelli, Susanna, editor, and Haar, Stefan, editor

Published
2019
Full Text
View/download PDF

17. Pomsets and Unfolding of Reset Petri Nets

Author

Chatain, Thomas, Comlan, Maurice, Delfieu, David, Jezequel, Loïg, Roux, Olivier H., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Klein, Shmuel Tomi, editor, Martín-Vide, Carlos, editor, and Shapira, Dana, editor

Published
2018
Full Text
View/download PDF

20. Control and Synthesis of Non-Interferent Timed Systems

Author

Benattar, Gilles, Cassez, Franck, Lime, Didier, and Roux, Olivier H.

Subjects
Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Systems and Control
Abstract

In this paper, we focus on the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is a non-interference property. Intuitively, non-interference ensures the absence of any causal dependency from a high-level domain to a lower-level domain. Various notions of non-interference have been defined in the literature, and in this paper we focus on Strong Non-deterministic Non-Interference (SNNI) and two (bi)simulation based variants thereof (CSNNI and BSNNI). We consider timed non-interference properties for timed systems specified by timed automata and we study the two following problems: (1) check whether it is possible to find a sub-system so that it is non-interferent; if yes (2) compute a (largest) sub-system which is non-interferent.

Published
2012

22. Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems

Author

Parquier, Baptiste, Rioux, Laurent, Henia, Rafik, Soulat, Romain, Roux, Olivier H., Lime, Didier, André, Étienne, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Artho, Cyrille, editor, and Ölveczky, Peter Csaba, editor

Published
2017
Full Text
View/download PDF

23. Optimal Reachability in Cost Time Petri Nets

Author

Boucheneb, Hanifa, Lime, Didier, Parquier, Baptiste, Roux, Olivier H., Seidner, Charlotte, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Geeraerts, Gilles, editor

Published
2017
Full Text
View/download PDF

24. State Space Computation and Analysis of Time Petri Nets

Author

Gardey, Guillaume, Roux, Olivier H., and Roux, Olivier F.

Subjects
Computer Science - Logic in Computer Science
Abstract

The theory of Petri Nets provides a general framework to specify the behaviors of real-time reactive systems and Time Petri Nets were introduced to take also temporal specifications into account. We present in this paper a forward zone-based algorithm to compute the state space of a bounded Time Petri Net: the method is different and more efficient than the classical State Class Graph. We prove the algorithm to be exact with respect to the reachability problem. Furthermore, we propose a translation of the computed state space into a Timed Automaton, proved to be timed bisimilar to the original Time Petri Net. As the method produce a single Timed Automaton, syntactical clocks reduction methods (Daws and Yovine for instance) may be applied to produce an automaton with fewer clocks. Then, our method allows to model-check TTPN by the use of efficient Timed Automata tools. To appear in Theory and Practice of Logic Programming (TPLP)., Comment: 21 pages

Published
2005

25. On the Expressiveness of Parametric Timed Automata

Author

André, Étienne, Lime, Didier, Roux, Olivier H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fränzle, Martin, editor, and Markey, Nicolas, editor

Published
2016
Full Text
View/download PDF

26. Probabilistic Time Petri Nets

Author

Emzivat, Yrvann, Delahaye, Benoît, Lime, Didier, Roux, Olivier H., Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Kordon, Fabrice, editor, and Moldt, Daniel, editor

Published
2016
Full Text
View/download PDF

27. Decision Problems for Parametric Timed Automata

Author

André, Étienne, Lime, Didier, Roux, Olivier H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ogata, Kazuhiro, editor, Lawford, Mark, editor, and Liu, Shaoying, editor

Published
2016
Full Text
View/download PDF

29. Integer-Complete Synthesis for Bounded Parametric Timed Automata

Author

André, Étienne, Lime, Didier, Roux, Olivier H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bojanczyk, Mikolai, editor, Lasota, Slawomir, editor, and Potapov, Igor, editor

Published
2015
Full Text
View/download PDF

30. Discrete Parameters in Petri Nets

Author

David, Nicolas, Jard, Claude, Lime, Didier, Roux, Olivier H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Devillers, Raymond, editor, and Valmari, Antti, editor

Published
2015
Full Text
View/download PDF

34. On Multi-enabledness in Time Petri Nets

Author

Boucheneb, Hanifa, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Colom, José-Manuel, editor, and Desel, Jörg, editor

Published
2013
Full Text
View/download PDF

35. Integer Parameter Synthesis for Timed Automata

Author

Jovanović, Aleksandra, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Piterman, Nir, editor, and Smolka, Scott A., editor

Published
2013
Full Text
View/download PDF

37. Robustness of Time Petri Nets under Architectural Constraints

Author

Akshay, S., Hélouët, Loïc, Jard, Claude, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jurdziński, Marcin, editor, and Ničković, Dejan, editor

Published
2012
Full Text
View/download PDF

38. Symbolic Unfolding of Parametric Stopwatch Petri Nets

Author

Traonouez, Louis-Marie, Grabiec, Bartosz, Jard, Claude, Lime, Didier, Roux, Olivier H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bouajjani, Ahmed, editor, and Chin, Wei-Ngan, editor

Published
2010
Full Text
View/download PDF

39. Diagnosis Using Unfoldings of Parametric Time Petri Nets

Author

Grabiec, Bartosz, Traonouez, Louis-Marie, Jard, Claude, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chatterjee, Krishnendu, editor, and Henzinger, Thomas A., editor

Published
2010
Full Text
View/download PDF

40. Synthesis of Non-Interferent Timed Systems

Author

Benattar, Gilles, Cassez, Franck, Lime, Didier, Roux, Olivier H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Ouaknine, Joël, editor, and Vaandrager, Frits W., editor

Published
2009
Full Text
View/download PDF

41. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

Author

Lime, Didier, Roux, Olivier H., Seidner, Charlotte, Traonouez, Louis-Marie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kowalewski, Stefan, editor, and Philippou, Anna, editor

Published
2009
Full Text
View/download PDF

42. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)

Author

Magnin, Morgan, Lime, Didier, Roux, Olivier (H. ), Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, van Hee, Kees M., editor, and Valk, Rüdiger, editor

Published
2008
Full Text
View/download PDF

43. Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph

Author

Traonouez, Louis-Marie, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cassez, Franck, editor, and Jard, Claude, editor

Published
2008
Full Text
View/download PDF

45. When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?

Author

Bérard, Beatrice, Cassez, Franck, Haddad, Serge, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sarukkai, Sundar, editor, and Sen, Sandeep, editor

Published
2005
Full Text
View/download PDF

46. Romeo: A Tool for Analyzing Time Petri Nets

Author

Gardey, Guillaume, Lime, Didier, Magnin, Morgan, Roux, Olivier (H. ), Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Etessami, Kousha, editor, and Rajamani, Sriram K., editor

Published
2005
Full Text
View/download PDF

47. Comparison of the Expressiveness of Timed Automata and Time Petri Nets

Author

Bérard, Beatrice, Cassez, Franck, Haddad, Serge, Lime, Didier, Roux, Olivier H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Pettersson, Paul, editor, and Yi, Wang, editor

Published
2005
Full Text
View/download PDF

49. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

Author

Roux, Olivier H., Lime, Didier, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cortadella, Jordi, editor, and Reisig, Wolfgang, editor

Published
2004
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results