Filtrer vos résultats
- 9
- 6
- 8
- 5
- 1
- 1
- 1
- 15
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 15
- 15
- 4
- 3
- 2
- 1
- 1
- 15
- 7
- 6
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 résultats
|
|
|
triés par
|
|
|
An approach to state space reduction for systems with dynamic process creation24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩
Communication dans un congrès
hal-00666664v1
|
||
|
|
Modeling and analysis of security protocols using role based specifications and Petri netsInternational Conference on Application and Theory of Petri Nets (ICATPN'08), Jun 2008, Xi'an, China. pp.72--91, ⟨10.1007/978-3-540-68746-7_9⟩
Communication dans un congrès
hal-00340476v1
|
||
Small Universal Non-deterministic Petri Nets with Inhibitor ArcsDescriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.186--197, ⟨10.1007/978-3-319-09704-6_17⟩
Communication dans un congrès
hal-01161698v1
|
|||
|
|
An Holistic State Equation for Timed Petri NetsCS&P 2013, Sep 2013, Warsowie, Poland
Communication dans un congrès
hal-01800689v1
|
||
Small universal deterministic Petri nets with inhibitor arcsJournal of Automata Languages and Combinatorics, 2016
Article dans une revue
hal-01667580v1
|
|||
|
|
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State EquationPNSE'15, Jul 2015, Bruxelles, Belgium
Communication dans un congrès
hal-01800685v1
|
||
|
|
Towards Efficient Verification of Systems with Dynamic Process CreationTheoretical Aspects of Computing - ICTAC 2008, 5160, Springer Berlin Heidelberg, pp.186-200, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-85762-4_13⟩
Chapitre d'ouvrage
istex
hal-02310882v1
|
||
Small Universal Petri Nets with Inhibitor ArcsCoRR, 2013, abs/1312.4414, pp.1-18
Article dans une revue
hal-01161702v1
|
|||
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)International Conference on Application of Concurrency to System Design, ACSD'2006, 2006, Finland. pp.ERREUR_CHAMPS_NON_SPECIFIE
Communication dans un congrès
hal-00340477v1
|
|||
|
|
State Space Reduction for Dynamic Process CreationScientific Annals of Computer Science, 2010, 20, pp.131--157
Article dans une revue
hal-00666663v1
|
||
|
|
Towards efficient verification of systems with dynamic process creation[Research Report] LACL, Université Paris-Est. 2008
Rapport
hal-02310226v1
|
||
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete DelayFundamenta Informaticae, 2012
Article dans une revue
hal-01667527v1
|
|||
|
|
Timed Processes of Interval-Timed Petri NetsCS&P, ceur-ws.org/Vol-1698, Sep 2016, Rostock, Germany
Communication dans un congrès
hal-01800681v1
|
||
|
|
A Holistic State Equation for Timed Petri NetsFundamenta Informaticae, 2014, 133 (2-3), pp.305-322. ⟨10.3233/FI-2014-1078⟩
Article dans une revue
hal-01667554v1
|
||
|
|
Operational Semantics for PBC with Asynchronous Communication2002, pp.1-6
Communication dans un congrès
hal-00114684v1
|