B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, QEST'13, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411

L. Brownston, Programming expert systems in ops5: An introduction to rule-based programming, 1985.

D. D. Burdescu and M. Brezovan, Algorithms for high level petri nets simulation and rule-based systems, 2013.

C. Forgy, Rete: A fast algorithm for many pattern/many objects, In Artificial Intelligence, 1982.

A. Gal, W. Schroder-preikschat, and O. Spinczyk, Aspectc++: Language proposal and prototype implementation, OOPSLA'01, 2001.

J. Genrich and K. Lautenbach, The analysis of distributed systems by means of predicate/transition-nets, LNCS, pp.123-146, 1979.
DOI : 10.1007/BFb0022467

A. Goyal, Probabilistic modeling of computer system availability, Annals of Operations Research, pp.285-306, 1987.
DOI : 10.1007/BF02187098

T. Grotker, S. Liao, G. Martin, and S. Swan, System Design with SystemC, 2002.

H. Hermanns, B. Watcher, and L. Zhang, Probabilistic CEGAR, CAV'08, pp.162-175, 2008.
DOI : 10.1007/978-3-540-70545-1_16

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, TACAS'06, pp.441-444, 2006.
DOI : 10.1007/11691372_29

K. Jensen, Coloured Petri Nets and the Invariant-Method, Theoretical Comp. Sci, pp.317-336, 1981.
DOI : 10.7146/dpb.v8i104.6519

K. Jensen, High-Level Petri Nets, DAIMI Report Series, vol.11, issue.151, pp.166-180, 1983.
DOI : 10.7146/dpb.v11i151.7425

K. Jensen and L. Kristensen, Coloured petri nets: Modeling and validation of concurrent systems, 2009.

S. Jha, E. Clarke, C. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, CMSB'09, pp.218-234, 2009.
DOI : 10.1016/j.ic.2006.05.002

J. Katoen, E. Hahn, H. Hermanns, D. Jansen, and I. Zapreev, The ins and outs of the probabilistic model checker mrmc, QEST'09, 2009.

M. Kwiatkowska, G. Norman, and D. Parker, Controller dependability analysis by probabilistic model checking, Control Engineering Practice, pp.1427-1434, 2007.
DOI : 10.1016/j.conengprac.2006.07.003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.5261

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, RV'10, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

R. Lipsett, C. Schaefer, and C. Ussery, VHDL: Hardware description and design, 1993.
DOI : 10.1007/978-1-4613-1631-2

M. Marsan, G. Conte, and G. Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984.
DOI : 10.1145/190.191

M. Molloy, Performance Analysis Using Stochastic Petri Nets, IEEE Trans, pp.31-913, 1982.
DOI : 10.1109/TC.1982.1676110

W. Mueller, J. Ruf, D. Hoffmann, J. Gerlach, T. Kropf et al., The simulation semantics of SystemC, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, pp.64-70, 2001.
DOI : 10.1109/DATE.2001.915002

J. Muppala, G. Ciardo, and K. Trivedi, Stochastic reward nets for reliability prediction, Communications in Reliability, Maintainability and Serviceability, pp.9-20, 1994.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

T. Murata and D. Zhang, A predicate-transition net model for parallel interpretation of logic programs, IEEE Transactions on Software Engineering, 1988.
DOI : 10.1109/32.4671

V. C. Ngo, A. Legay, and J. Quilbeuf, Dynamic verification of systemc with statistical model checking Petri nets with individual tokens, Informatik-Fachberichte, pp.229-249, 1983.

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, CAV'05, pp.266-280, 2004.
DOI : 10.1007/11513988_26

D. Tabakov and M. Vardi, Monitoring temporal SystemC properties, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), pp.123-132, 2010.
DOI : 10.1109/MEMCOD.2010.5558640
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.1037

D. Thomas and P. Moorby, The verilog hardware description language, 2008.
DOI : 10.1007/978-1-4615-3992-6

R. Valette and B. Bako, Software implementation of petri nets and compilation of rule-based systems, Advances in Petri Nets, 1990.
DOI : 10.1007/BFb0019980

H. Younes, Ymer: A Statistical Model Checker, CAV'05 Inria RESEARCH CENTRE RENNES ? BRETAGNE ATLANTIQUE Campus universitaire de Beaulieu 35042 Rennes Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria.fr ISSN, pp.429-433, 2005.
DOI : 10.1007/11513988_43