Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert Valette
@article{DBLP:journals/biaa/Valette11,
author = {Robert Valette},
title = {Qu'est ce qu'un bon mod{\`{e}}le?},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {89},
pages = {5--14},
year = {2011},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biaa/Valette10,
author = {Robert Valette},
title = {Bonnes propri{\'{e}}t{\'{e}}s et invariants d'un r{\'{e}}seau
de petri},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {85},
pages = {3--38},
year = {2010},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biaa/Valette09,
author = {Robert Valette},
title = {G{\'{e}}n{\`{e}}se de la th{\'{e}}orie des R{\'{e}}seaux
de Petri 1962-1973},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {82},
pages = {5--14},
year = {2009},
url = {http://biaa.eu/-upload/BIAA82.pdf},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biaa/Valette09a,
author = {Robert Valette},
title = {Introduction aux R{\'{e}}seaux de Petri},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {83},
pages = {3--22},
year = {2009},
url = {http://biaa.eu/-upload/BIAA83.pdf},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biaa/Valette09b,
author = {Robert Valette},
title = {Exemple du photographe - Pas 1: Le r{\'{e}}seau de Petri vu comme
un ensemble d'automates communicants},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {83},
pages = {23--36},
year = {2009},
url = {http://biaa.eu/-upload/BIAA83.pdf},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biaa/Valette09c,
author = {Robert Valette},
title = {D{\'{e}}finitions formelles des r{\'{e}}seaux de petri},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {84},
pages = {3--34},
year = {2009},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette09c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biaa/Valette09d,
author = {Robert Valette},
title = {Exemple des lecteurs et des {\'{e}}crivains. sp{\'{e}}cifications},
journal = {Bull. dInformatique Approfondie et Appl.},
volume = {84},
pages = {35--40},
year = {2009},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biaa/Valette09d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/FreitasJV09,
author = {Joslaine Cristina Jeske de Freitas and
St{\'{e}}phane Julia and
Robert Valette},
title = {Fuzzy Continuous Resource Allocation Mechanisms in Workflow Management
Systems},
booktitle = {{XXIII} Brazilian Symposium on Software Engineering, {SBES} 2009,
Fortaleza, Cear{\'{a}}, Brazil, October 5-9, 2009},
pages = {236--251},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SBES.2009.17},
doi = {10.1109/SBES.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/FreitasJV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/JuliaOV08,
author = {St{\'{e}}phane Julia and
Fernanda Francielle de Oliveira and
Robert Valette},
title = {Real time scheduling of Workflow Management Systems based on a p-time
Petri net model with hybrid resources},
journal = {Simul. Model. Pract. Theory},
volume = {16},
number = {4},
pages = {462--482},
year = {2008},
url = {https://doi.org/10.1016/j.simpat.2008.01.006},
doi = {10.1016/J.SIMPAT.2008.01.006},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/JuliaOV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/JeskeJV06,
author = {Joslaine Cristina Jeske de Freitas and
St{\'{e}}phane Julia and
Robert Valette},
title = {Fuzzy continuous resource allocation mechanisms in workflow management
systems},
booktitle = {Proceedings of the 2006 {IEEE} International Conference on Information
Reuse and Integration, {IRI} - 2006: Heuristic Systems Engineering,
September 16-18, 2006, Waikoloa, Hawaii, {USA}},
pages = {472--477},
publisher = {{IEEE} Systems, Man, and Cybernetics Society},
year = {2006},
url = {https://doi.org/10.1109/IRI.2006.252460},
doi = {10.1109/IRI.2006.252460},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/JeskeJV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MaoCV05,
author = {Xiaoyu Mao and
Janette Cardoso and
Robert Valette},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {A New Graph of Classes for the Preservation of Quantitative Temporal
Constraints},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {278--292},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_22},
doi = {10.1007/11562948\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MaoCV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/DemmouKGV04,
author = {Hamid Demmou and
Sarhane Khalfaoui and
Edwige Guilhem and
Robert Valette},
title = {Critical scenarios derivation methodology for mechatronic systems},
journal = {Reliab. Eng. Syst. Saf.},
volume = {84},
number = {1},
pages = {33--44},
year = {2004},
url = {https://doi.org/10.1016/j.ress.2003.11.007},
doi = {10.1016/J.RESS.2003.11.007},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/DemmouKGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/VillaniPMV03,
author = {Em{\'{\i}}lia Villani and
Jean{-}Claude Pascal and
Paulo E. Miyagi and
Robert Valette},
editor = {Sebastian Engell and
Herv{\'{e}} Gu{\'{e}}guen and
Janan Zaytoon},
title = {Differential Predicate Transition Petri Nets and Objects, an Aid for
Proving Properties in Hybrid Systems},
booktitle = {{IFAC} Conference on Analysis and Design of Hybrid Systems, 2003,
St Malo, Brittany, France, June 16-18, 2003},
series = {{IFAC} Proceedings Volumes},
volume = {36},
number = {6},
pages = {87--92},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1474-6670(17)36412-1},
doi = {10.1016/S1474-6670(17)36412-1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/VillaniPMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/NketsaV01,
author = {Alexandre Nketsa and
Robert Valette},
title = {Rapid and modular prototyping-based Petri nets and distributed simulation
for manufacturing systems},
journal = {Appl. Math. Comput.},
volume = {120},
number = {1-3},
pages = {265--278},
year = {2001},
url = {https://doi.org/10.1016/S0096-3003(99)00243-X},
doi = {10.1016/S0096-3003(99)00243-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/NketsaV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/ChampagnatVHP01,
author = {Ronan Champagnat and
Robert Valette and
Jean{-}Claude Hochon and
Herv{\'{e}} Pingaud},
title = {Modeling, Simulation and Analysis of Batch Production Systems},
journal = {Discret. Event Dyn. Syst.},
volume = {11},
number = {1-2},
pages = {119--136},
year = {2001},
url = {https://doi.org/10.1023/A:1008391200673},
doi = {10.1023/A:1008391200673},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/ChampagnatVHP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/RivierePV01,
author = {Nicolas Rivi{\`{e}}re and
Brigitte Pradin{-}Chezalviel and
Robert Valette},
editor = {Reinhard German and
Boudewijn R. Haverkort},
title = {Reachability and Temporal Conflicts in t-Time Petri Nets},
booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance
Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
pages = {229--238},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PNPM.2001.953372},
doi = {10.1109/PNPM.2001.953372},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/RivierePV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/JuliaV00,
author = {St{\'{e}}phane Julia and
Robert Valette},
title = {Real time scheduling of batch systems},
journal = {Simul. Pract. Theory},
volume = {8},
number = {5},
pages = {307--319},
year = {2000},
url = {https://doi.org/10.1016/S0928-4869(00)00021-5},
doi = {10.1016/S0928-4869(00)00021-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/JuliaV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CardosoVD99,
author = {Janette Cardoso and
Robert Valette and
Didier Dubois},
title = {Possibilistic Petri nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {29},
number = {5},
pages = {573--582},
year = {1999},
url = {https://doi.org/10.1109/3477.790440},
doi = {10.1109/3477.790440},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CardosoVD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Pradin-Chezalviel99,
author = {Brigitte Pradin{-}Chezalviel and
Robert Valette and
Luis Allan K{\"{u}}nzle},
title = {Scenario durations characterization of t-timed Petri nets using linear
logic},
booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance
Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PNPM.1999.796567},
doi = {10.1109/PNPM.1999.796567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Pradin-Chezalviel99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/JuliaVF98,
author = {St{\'{e}}phane Julia and
Robert Valette and
Jos{\'{e}} M. Fernandes},
title = {Scheduling batch systems using a token player algorithm},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {487--492},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.725459},
doi = {10.1109/ICSMC.1998.725459},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/JuliaVF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/AndreuPV97,
author = {David Andreu and
Jean{-}Claude Pascal and
Robert Valette},
title = {Fuzzy Petri net-based programmable logic controller},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {27},
number = {6},
pages = {952--961},
year = {1997},
url = {https://doi.org/10.1109/3477.650056},
doi = {10.1109/3477.650056},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/AndreuPV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valette97,
author = {Robert Valette},
editor = {Pierre Az{\'{e}}ma and
Gianfranco Balbo},
title = {Some Issues About Petri Net Application to Manufacturing and Process
Supervisory Control},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference,
{ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1248},
pages = {23--41},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63139-9\_28},
doi = {10.1007/3-540-63139-9\_28},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valette97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/SilvaTVP96,
author = {Manuel Silva Su{\'{a}}rez and
Enrique Teruel and
Robert Valette and
Herv{\'{e}} Pingaud},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Petri Nets and Production Systems},
booktitle = {Lectures on Petri Nets {II:} Applications, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1492},
pages = {85--124},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65307-4\_47},
doi = {10.1007/3-540-65307-4\_47},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/SilvaTVP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1994,
editor = {Robert Valette},
title = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9},
doi = {10.1007/3-540-58152-9},
isbn = {3-540-58152-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ValetteB90,
author = {Robert Valette and
Babou Bako},
editor = {Grzegorz Rozenberg},
title = {Software Implementation of Petri nets and compilation of rule-based
systems},
booktitle = {Advances in Petri Nets 1991, Papers from the 11th International Conference
on Applications and Theory of Petri Nets, Paris, France, June 1990},
series = {Lecture Notes in Computer Science},
volume = {524},
pages = {296--316},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019980},
doi = {10.1007/BFB0019980},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/ValetteB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CardosoVD89,
author = {Janette Cardoso and
Robert Valette and
Didier Dubois},
editor = {Grzegorz Rozenberg},
title = {Petri nets with uncertain markings},
booktitle = {Advances in Petri Nets 1990 [10th International Conference on Applications
and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]},
series = {Lecture Notes in Computer Science},
volume = {483},
pages = {64--78},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53863-1\_21},
doi = {10.1007/3-540-53863-1\_21},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/CardosoVD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SilvaV88,
author = {Manuel Silva Su{\'{a}}rez and
Robert Valette},
editor = {Grzegorz Rozenberg},
title = {Petri nets and flexible manufacturing},
booktitle = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {424},
pages = {374--417},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-52494-0\_38},
doi = {10.1007/3-540-52494-0\_38},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/SilvaV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/SahraouiACV87,
author = {A. Sahraoui and
H. Atabakhche and
Marc Courvoisier and
Robert Valette},
title = {Joining Petri nets and knowledge based systems for monitoring purposes},
booktitle = {Proceedings of the 1987 {IEEE} International Conference on Robotics
and Automation, Raleigh, North Carolina, USA, March 31 - April 3,
1987},
pages = {1160--1165},
publisher = {{IEEE}},
year = {1987},
url = {https://doi.org/10.1109/ROBOT.1987.1087858},
doi = {10.1109/ROBOT.1987.1087858},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/SahraouiACV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Valette86,
author = {Robert Valette},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Nets in Production Systems},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {255},
pages = {191--217},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17906-2\_26},
doi = {10.1007/3-540-17906-2\_26},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Valette86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AlancheBDGRV84,
author = {P. Alanche and
K. Benzakour and
F. Doll{\'{e}} and
P. Gillet and
P. Rodrigues and
Robert Valette},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {{PSI:} {A} Petri net based simulator for flexible manufacturing systems},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {1--14},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_1},
doi = {10.1007/3-540-15204-0\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/AlancheBDGRV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ValetteCM82,
author = {Robert Valette and
Marc Courvoisier and
D. Mayeux},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {Control of Flexible Production Systems and Petri Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {264--277},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_18},
doi = {10.1007/978-3-642-69028-0\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ValetteCM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valette81,
author = {Robert Valette},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Overview on Topic 6: Reliability and Recovery Issues},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {208--211},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_36},
doi = {10.1007/978-3-642-68353-4\_36},
timestamp = {Tue, 19 Jun 2018 18:32:05 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valette81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valette81a,
author = {Robert Valette},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Petri Nets and Reliable Real Time Systems},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {222--227},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_38},
doi = {10.1007/978-3-642-68353-4\_38},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valette81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CourvoisierVGD81,
author = {Marc Courvoisier and
Robert Valette and
J. Golinski and
Hamid Demmou},
title = {Task Synchronization in Distributed Real Time Control Systems},
booktitle = {Proceedings of the {IEEE} Real-Time Systems Symposium, December 8-10,
1981, Miami Beach, Florida, {USA}},
pages = {83--88},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Mon, 17 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CourvoisierVGD81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Valette79,
author = {Robert Valette},
title = {Analysis of Petri Nets by Stepwise Refinements},
journal = {J. Comput. Syst. Sci.},
volume = {18},
number = {1},
pages = {35--46},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90050-3},
doi = {10.1016/0022-0000(79)90050-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Valette79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AzemaVD76,
author = {Pierre Az{\'{e}}ma and
Robert Valette and
Michel Diaz},
editor = {Donald J. Humcke and
J. Michael Galey and
Stephen A. Szygenda and
Pat O. Pistilli and
Nitta P. Dooner and
Judith G. Brinsfield and
J. S. Olila},
title = {Petri nets as a common tool for design verification and hardware simulation},
booktitle = {Proceedings of the 13th Design Automation Conference, {DAC} '76, San
Francisco, California, USA, June 28-30, 1976},
pages = {109--116},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800146.804803},
doi = {10.1145/800146.804803},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AzemaVD76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
