Filters








220 Hits in 7.8 sec

Raw Report on the Model Checking Contest at Petri Nets 2012 [article]

F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, L. Fronc, L.M. Hillah, N. Lohmann, E. Paviot-Adet, F Pommereau, C. Rohr, Y. Thierry-Mieg, H. Wimmel (+1 others)
2012 arXiv   pre-print
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg.  ...  This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011.  ...  Conclusion This paper reported our experience with the second Model Checking Contest @ Petri nets 2012.  ... 
arXiv:1209.2382v1 fatcat:qo332fnlhvbfhopxyocoze3bdm

Report on the Model Checking Contest at Petri Nets 2011 [chapter]

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2012 Lecture Notes in Computer Science  
It discusses the enhancements required for future editions of the Model Checking Contest event at the Petri Nets conference.  ...  This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets.  ...  Acknowledgements The Model Checking Contest @ Petri nets organizers would like to thank the following people for the help they provided in setting up this event: Clément Démoulins (infrastructure), Nicolas  ... 
doi:10.1007/978-3-642-35179-2_8 fatcat:joniyupqprglhotup2mloxyv24

MCC'2015 – The Fifth Model Checking Contest [chapter]

Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
2016 Lecture Notes in Computer Science  
The Model Checking Contest (MCC) is an annual competition between software tools that verify concurrent systems using state-space exploration techniques, either explicit-state or symbolic.  ...  The tools that competed in 2015 are listed and the results of the contest are summarized.  ...  The MCC team heartily thanks all scientists who proposed new models in 2015 and the tool developers for their participation effort.  ... 
doi:10.1007/978-3-662-53401-4_12 fatcat:i5plzi4i5neebcktwxpoitymde

Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field

Manuel Silva
2013 Annual Reviews in Control  
Given the hundreds of research and text monographs on Petri nets, together with the many thousands of theoretical and applied contributions on the subject, not to mention the ISO (International Organization  ...  Today Petri nets are widespread all over the world.  ...  All of them started to work on Petri nets around 1973 -1975 , who started to work on stochastic Petri nets at the very beginning of the 1980s, and was initially inspired by contributions from UCLA.  ... 
doi:10.1016/j.arcontrol.2013.09.001 fatcat:othq33ivp5hdtpxqiwznkek6pe

Efficient Analysis and Synthesis of Complex Quantitative Systems [article]

Peter Gjøl Jensen
2018 PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University  
In this thesis, we attempt to improve the applicability of model checking and synthesis methods for timed systems by attacking three different inhibiting factors to their applicability; 1) speed of computation  ...  To improve on the speed of computation, we attack what is called the state-space explosion problem and present alternatives for the state-space representation.  ...  Acknowledgments We are grateful to Christopher Brooks, Fabio Cremona, and Edward Lee from UC Berkeley, for their work on the ptolemy framework. This  ... 
doi:10.5278/vbn.phd.tech.00043 fatcat:fq4x5hnl5rgdzdtolcimzbonxm

The Train Benchmark: cross-technology performance evaluation of continuous model queries

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
2017 Journal of Software and Systems Modeling  
The benchmark focuses on the performance of query evaluation, i.e. its execution time and memory consumption, with a particular emphasis on reevaluation.  ...  Checking well-formedness constraints can be captured by declarative queries over graph models, while model update operations can be specified as model transformations.  ...  The paper presents two cases: the Petri net firing simulation case and the object-relational mapping by model synchronization case.  ... 
doi:10.1007/s10270-016-0571-8 pmid:30220905 pmcid:PMC6132656 fatcat:7rrvuvl75bblnnr5lcrojpvwsm

Benefits of Group Living Include Increased Feeding Efficiency and Lower Mass Loss during Desiccation in the Social and Inbreeding Spider Stegodyphus dumicola

Bram Vanthournout, Michelle Greve, Anne Bruun, Jesper Bechsgaard, Johannes Overgaard, Trine Bilde
2016 Frontiers in Physiology  
We investigated the putative benefits of group living in the permanently social spider Stegodyphus dumicola by comparing the effect of group size on standard metabolic rate, lipid/protein content as a  ...  Nonetheless, group living and sociality is found in many animals, and understanding the direct and indirect benefits of cooperation that override the inherent costs remains a challenge in evolutionary  ...  ACKNOWLEDGMENTS SUPPLEMENTARY MATERIAL The Supplementary Material for this article can be found online at: http://journal.frontiersin.org/article/10.3389/fphys. 2016.00018  ... 
doi:10.3389/fphys.2016.00018 pmid:26869936 pmcid:PMC4735397 fatcat:glxkgtj5e5gobl6yraurrsxzcm

Boxer crabs induce asexual reproduction of their associated sea anemones by splitting and intraspecific theft

Yisrael Schnytzer, Yaniv Giman, Ilan Karplus, Yair Achituv
2017 PeerJ  
Crabs of the genusLybiahave the remarkable habit of holding a sea anemone in each of their claws. This partnership appears to be obligate, at least on the part of the crab.  ...  Furthermore, when two crabs, one holding anemones and one lacking them, are confronted, the crabs fight, almost always leading to the "theft" of a complete anemone or anemone fragment by the crab without  ...  ACKNOWLEDGEMENTS We thank the staff at the Interuniversity Institute for Marine Sciences in Eilat for their hospitality and assistance with the field work.  ... 
doi:10.7717/peerj.2954 pmid:28168117 pmcid:PMC5289105 fatcat:kk3n5hlzyrfc3ipo36bb33utzi

Statistical Methods for Assessments in Simulations and Serious Games

Jianbin Fu, Diego Zapata, Elia Mavronikolas
2014 ETS Research Report Series  
Peer review notwithstanding, the positions expressed in the ETS Research Report series and other published accounts of ETS research are those of the authors and not necessarily those of the Officers and  ...  Published accounts of ETS research, including papers in the ETS Research Report series, undergo a formal peer-review process by ETS staff to ensure that they meet established scientific and professional  ...  All students' patterns of behaviors were summarized in a Petri net plot to aid analyses.  ... 
doi:10.1002/ets2.12011 fatcat:siokqoxh3nblpfpi7ckdm7zrna

Enclosing rail capacity/punctuality in accessibility measures: a two-step approach by using Data Envelopment Analysis and Analytic Hierarchy Process

Francesco Rotoli, Elena Navajas Cawood, Lorenzo Vannacci
2015 2015 International Conference on Industrial Engineering and Systems Management (IESM)  
We focus on recent developments to enrich the scope of the planning activities and associated models, by integrating a number of operational issues.  ...  On the supply side, we examine the integration of the management of the resources required to provide the selected services while, on the demand side, we touch on the issue of the management of revenues  ...  a valid Petri net model to an abstract B machine.  ... 
doi:10.1109/iesm.2015.7380133 fatcat:hbiqir2zo5bejlasdudkjzom2e

Gender, ethnicity and teaching evaluations: Evidence from mixed teaching teams

Natascha Wagner, Matthias Rieger, Katherine Voorvelt
2016 Economics of Education Review  
This paper studies the effect of teacher gender and ethnicity on student evaluations of teaching quality at university.  ...  Co-teaching allows us to study the impact of teacher gender and ethnicity on students' evaluations of teaching exploiting within course variation in an empirical model with course-year fixed effects.  ...  The study reports an effect of 0.15 on a similar five-point Likert scale.  ... 
doi:10.1016/j.econedurev.2016.06.004 fatcat:q2b5wrytg5fefize6iwbrch2na

Incentives for smoking cessation

Kate Cahill, Jamie Hartmann-Boyce, Rafael Perera
2015 The Cochrane library  
interventions produced the highest net cost benefit, at GBP 2261 (USD 3482) after accounting for the cost of the intervention.  ...  Outcomes All the trials reported abstinence at or near the end of pregnancy, except for Ondersma 2012, who reported abstinence at the end of the 10-week programme (before delivery Appropriateness of  ...  JH-B checked data extraction and contributed to the writing of the review RP checked the statistical analysis and commented on the review.  ... 
doi:10.1002/14651858.cd004307.pub5 pmid:25983287 fatcat:tfttlb45anasblz5wnf7daczn4

Eliciting and Modeling Business Process Stories

David Simões, Pedro Antunes, Luis Carriço
2017 Business & Information Systems Engineering  
The obtained results suggest that process stories may increase the meaningfulness, contextualization and overall richness of process models.  ...  Most business process modeling tools used today encourage the rendition of lean, prescribed and clearly coordinated activities, which often clash with far more intricate business realities.  ...  Several modeling techniques and associated languages have been adopted to represent business processes, including Flowcharting (Lakin et al. 1996) , Petri Nets (Schnupp and Muchnick 1992) , Role Activity  ... 
doi:10.1007/s12599-017-0475-3 fatcat:gzsumzllu5h5jeuzuqwcrwuhry

A Tale of Two Fascisms: Labour Productivity Growth and Competition Policy in Italy, 1911-1951

Claire Giordano, Ferdinando Giugliano
2012 Social Science Research Network  
By relying on a newly compiled dataset and on fresh labour productivity estimates, we find that the earlier period of the Fascist era was characterised by a productivity boom, which ended and was reversed  ...  This paper thus casts a shadow on the optimist accounts of Fascist industrial policy and confirms the findings of a revisionist literature minimising the positive role played by the State in the earlier  ...  (54). 122 We however retain the variable in our model, in accordance to Broadberry and Crafts. 123 The R 2 reported in Broadberry and Crafts (1992) is 0.24.  ... 
doi:10.2139/ssrn.2240174 fatcat:wxhvf4lazfa5pc5gudxwkjtuti

A tale of two Fascisms: Labour productivity growth and competition policy in Italy, 1911–1951

Claire Giordano, Ferdinando Giugliano
2015 Explorations in economic history (Print)  
By relying on a newly compiled dataset and on fresh labour productivity estimates, we find that the earlier period of the Fascist era was characterised by a productivity boom, which ended and was reversed  ...  This paper thus casts a shadow on the optimist accounts of Fascist industrial policy and confirms the findings of a revisionist literature minimising the positive role played by the State in the earlier  ...  (54). 122 We however retain the variable in our model, in accordance to Broadberry and Crafts. 123 The R 2 reported in Broadberry and Crafts (1992) is 0.24.  ... 
doi:10.1016/j.eeh.2013.12.003 fatcat:xxz257xfx5egxhcjdf7kwxcpse
« Previous Showing results 1 — 15 out of 220 results