Filtrer vos résultats
- 14
- 6
- 9
- 6
- 3
- 2
- 20
- 1
- 1
- 2
- 3
- 6
- 1
- 1
- 1
- 2
- 2
- 20
- 7
- 6
- 5
- 3
- 2
- 1
- 1
- 1
- 20
- 8
- 6
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
20 résultats
|
|
|
triés par
|
|
|
Sufficient conditions for the marked graph realisability of labelled transition systemsTheoretical Computer Science, 2018, 750, pp.101-116. ⟨10.1016/j.tcs.2017.10.006⟩
Article dans une revue
hal-02127711v1
|
||
|
|
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition SystemsATAED@Petri Nets/ACSD 2018, Jun 2018, Bratislava, Slovakia
Communication dans un congrès
hal-02127780v1
|
||
|
|
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition SystemsATAED@Petri Nets/ACSD 2018, Jun 2018, BRATISLAVA, Slovakia
Communication dans un congrès
hal-01933189v1
|
||
|
|
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric ApproachTransactions on Petri Nets and Other Models of Concurrency XIV, Springer, pp.172-191, 2019, 978-3-662-60650-6. ⟨10.1007/978-3-662-60651-3_7⟩
Chapitre d'ouvrage
hal-02348962v1
|
||
|
|
Proposition of an Action Layer for Electrum6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, Jun 2018, Southampton, United Kingdom. pp.397-402, ⟨10.1007/978-3-319-91271-4_30⟩
Communication dans un congrès
hal-01774920v1
|
||
|
|
Analysis and Synthesis of Weighted Marked Graph Petri Nets39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, pp.19-39, 2018
Chapitre d'ouvrage
hal-02127849v1
|
||
|
|
On Liveness and Deadlockability in Subclasses of Weighted Petri Nets38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings, pp.267-287, 2017
Chapitre d'ouvrage
hal-02127837v1
|
||
|
|
Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems13th International Conference of Application of Concurrency to System Design (ACSD 2013), Jul 2013, Barcelona, Spain. pp.90-99, ⟨10.1109/ACSD.2013.12⟩
Communication dans un congrès
hal-00863651v1
|
||
|
|
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri NetsFundamenta Informaticae, 2018, 161 (4), pp.383-421. ⟨10.3233/FI-2018-1708⟩
Article dans une revue
hal-02127738v2
|
||
|
|
Synthesis of Weighted Marked Graphs from Circular Labelled Transition SystemsInternational Workshop on Algorithms & Theories for the Analysis of Event Data 2019, Jun 2019, Aachen, Germany
Communication dans un congrès
hal-02332213v1
|
||
On liveness and reversibility of equal-conflict Petri netsFundamenta Informaticae, 2016, 146 (1), pp.83--119. ⟨10.3233/FI-2016-1376⟩
Article dans une revue
hal-01716969v1
|
|||
|
|
Property Directed Reachability for Generalized Petri NetsTools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩
Communication dans un congrès
hal-03545594v1
|
||
|
|
On the Petri Nets with a Single Shared Place and Beyond2020
Pré-publication, Document de travail
hal-02992541v1
|
||
|
|
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate MethodsFundamenta Informaticae, 2019, 169 (1-2), pp.1 - 30. ⟨10.3233/FI-2019-1837⟩
Article dans une revue
hal-02332309v1
|
||
|
|
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and BeyondLNCS Transactions on Petri Nets and Other Models of Concurrency, 2021, Lecture Notes in Computer Science, 12530, pp.75-100. ⟨10.1007/978-3-662-63079-2_4⟩
Article dans une revue
hal-02348494v1
|
||
|
|
Checking marking reachability with the state equation in Petri net subclasses2020
Pré-publication, Document de travail
hal-02992521v1
|
||
|
|
Liveness evaluation of a cyclo-static DataFlow graphThe 50th Annual Design Automation Conference, DAC 2013, Jun 2013, Austin, United States. pp.3:1-3:7, ⟨10.1145/2463209.2488736⟩
Communication dans un congrès
hal-00861992v1
|
||
|
|
On the Reversibility of Well-Behaved Weighted Choice-Free Systems35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, Jun 2014, Tunis, Tunisia. pp.334-353, ⟨10.1007/978-3-319-07734-5_18⟩
Communication dans un congrès
hal-01017044v1
|
||
|
|
On the Reversibility of Live Equal-Conflict Petri Nets36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.234-253, ⟨10.1007/978-3-319-19488-2_12⟩
Communication dans un congrès
hal-01197020v1
|
||
Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri NetsACM Transactions on Embedded Computing Systems (TECS), 2014, 13 (4), pp.141:1--141:25. ⟨10.1145/2627349⟩
Article dans une revue
hal-01053867v1
|