{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:17:12Z","timestamp":1742923032805,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031336195"},{"type":"electronic","value":"9783031336201"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-33620-1_11","type":"book-chapter","created":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T08:02:05Z","timestamp":1685174525000},"page":"205-216","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Mochy: A Tool for\u00a0the\u00a0Modeling of\u00a0Concurrent Hybrid Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7056-2672","authenticated-orcid":false,"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Th\u00e9bault","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,5,28]]},"reference":[{"key":"11_CR1","volume-title":"A specification of a hybrid petri net semantics for the HISim simulator","author":"A Amengual","year":"2009","unstructured":"Amengual, A.: A specification of a hybrid petri net semantics for the HISim simulator. Tech. rep, International Computer Science Institute (2009)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Vernadat, F.: Time petri nets analysis with TINA. In: Proceedings of QEST 2006, pp. 123\u2013124. IEEE Computer Society (2006)","DOI":"10.1002\/9780470611647.ch5"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Buchmann, A., Dutz, C., Kounev, S.: QPME- queueing petri net modeling environment. In: Proceedings of QEST2006, pp. 115\u2013116 (2006)","DOI":"10.1109\/QEST.2006.44"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-04761-9_7","volume-title":"Automated Technology for Verification and Analysis","author":"J Byg","year":"2009","unstructured":"Byg, J., J\u00f8rgensen, K.Y., Srba, J.: TAPAAL: editor, simulator and verifier of timed-arc petri nets. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 84\u201389. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04761-9_7"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/3543146.3543164","volume":"49","author":"L Carnevali","year":"2022","unstructured":"Carnevali, L., Paolieri, M., Vicario, E.: The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. SIGMETRICS Perform. Evaluation Rev. 49(4), 81\u201386 (2022)","journal-title":"SIGMETRICS Perform. Evaluation Rev."},{"issue":"1\u20132","key":"11_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1008343317511","volume":"11","author":"I Demongodin","year":"2001","unstructured":"Demongodin, I.: Generalised batches petri net: Hybrid model for high speed systems with variable delays. Discret. Event Dyn. Syst. 11(1\u20132), 137\u2013162 (2001)","journal-title":"Discret. Event Dyn. Syst."},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1109\/TSMCC.2005.848154","volume":"36","author":"I Demongodin","year":"2006","unstructured":"Demongodin, I., Koussoulas, N.: Differential petri net models for industrial automation and supervisory control. IEEE Trans. Syst. Man Cybern. Syst. 36(4), 543\u2013553 (2006)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Hamdi, F., Messai, N., Manamanni, N.: Design of switched observer using timed differential petri nets: A dwell time approach. In: Proceedings of European Control Conference, ECC 2009, pp. 4641\u20134646. IEEE (2009)","DOI":"10.23919\/ECC.2009.7075133"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"H\u00e9lou\u00ebt, L., Agrawal, P.: Waiting nets. In: Bernardinello, L., Petrucci, L. (eds.) PETRI NETS 2022. LNCS, vol. 13288, pp. 67\u201389 (2022)","DOI":"10.1007\/978-3-031-06653-5_4"},{"key":"11_CR10","unstructured":"H\u00e9lou\u00ebt, L., Fabre, E., Th\u00e9bault, A.: Optimization of traffic management with learning machines. HAL-03777459 (2022)"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112"},{"key":"11_CR12","unstructured":"Kecir, K.: Performance evaluation of urban rail traffic management techniques. (\u00c9valuation de Performances pour les Techniques de R\u00e9gulation du Trafic Ferroviaire Urbain), Ph. D. thesis, University of Rennes 1, France (2019)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00768-2_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Lime","year":"2009","unstructured":"Lime, D., Roux, O.H., Seidner, C., Traonouez, L.-M.: Romeo: a parametric model-checker for petri nets with stopwatches. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 54\u201357. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00768-2_6"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"M Marsan","year":"1998","unstructured":"Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. SIGMETRICS Perform. Evaluation Rev. 26(2), 2 (1998)","journal-title":"SIGMETRICS Perform. Evaluation Rev."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Moore, K., Chiang, J.: Alpha\/sim: Alpha\/sim simulation software tutorial. In: Proceedings of WSC 2000, pp. 259\u2013267 (2000)","DOI":"10.1109\/WSC.2000.899727"},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1109\/TNN.2005.844858","volume":"16","author":"P Palmes","year":"2005","unstructured":"Palmes, P., Hayasaka, T., Usui, S.: Mutation-based genetic neural network. IEEE Trans. Neural Networks 16(3), 587\u2013600 (2005)","journal-title":"IEEE Trans. Neural Networks"},{"key":"11_CR17","unstructured":"Petri nets tools database: quick overview. https:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets\/tools\/quick.html. Accessed 01 Feb 2023"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Postema, B., Remke, A., Haverkort, B., Ghasemieh, H.: Fluid survival tool: a model checker for hybrid petri nets. In: Proceedings of Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 17th International GI\/ITG Conference, MMB & DFT 2014. LNCS, vol. 8376, pp. 255\u2013259 (2014)","DOI":"10.1007\/978-3-319-05359-2_18"},{"key":"11_CR19","unstructured":"Sklenar, J.: Petrisim - environment for simulation of petri networks. In: Proceedings of the 20th Conference of the ASU Object Oriented Modelling and Simulation, pp. 214\u2013221 (1994)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., et al.: ExSpect 6.4: an executable specification tool for hierarchical colored petri nets. In: Proceedings of ICATPN 2000. LNCS, vol. 1825, pp. 455\u2013464 (2000)","DOI":"10.1007\/3-540-44988-4_26"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-66335-7_19","volume-title":"Quantitative Evaluation of Systems","author":"A Zimmermann","year":"2017","unstructured":"Zimmermann, A.: Modelling and performance evaluation with TimeNET 4.4. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 300\u2013303. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_19"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-33620-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T06:13:47Z","timestamp":1729491227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33620-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031336195","9783031336201"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33620-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"28 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2023.deec.fct.unl.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}