{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:57:04Z","timestamp":1725559024725},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540263012"},{"type":"electronic","value":"9783540315599"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_1","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"1-14","source":"Crossref","is-referenced-by-count":0,"title":["Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets"],"prefix":"10.1007","author":[{"given":"Giuliana","family":"Franceschinis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester(1995)"},{"key":"1_CR2","volume-title":"Proc. 5th Intern. Workshop on Petri Nets and Performance Models","author":"C. Anglano","year":"1993","unstructured":"Anglano, C., Donatelli, S., Gaeta, R.: Parallel architectures with regular structure: a case study in modelling using SWN. In: Proc. 5th Intern. Workshop on Petri Nets and Performance Models, Toulouse, France, IEEE-CS Press, Los Alamitos (1993)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Baarir, S., Haddad, S., Ili\u00e9, J.M.: Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems. In: Proc. of WODES 2004, IFAC Workshop on Discrete Event Systems, Reims, France (September 2004)","DOI":"10.1016\/S1474-6670(17)30749-8"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Donatelli, S., Franceschinis, G.: Parametric stochastic well-formed nets and compositional modelling. In: Proc. 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark (June 2000)","DOI":"10.1007\/3-540-44988-4_5"},{"key":"1_CR5","unstructured":"Beccuti, M.: Tesi di laurea. trattamento delle simmetrie parziali nelle reti di Petri (in italian.), Universit\u00e0 del Piemonte Orientale, Alessandria, Italy"},{"key":"1_CR6","volume-title":"Proc. Of the 12th IEEE International Symposium on Modeling Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004)","author":"C. Bellettini","year":"2004","unstructured":"Bellettini, C., Capra, L.: A quotient graph for asymmetric distributed systems. In: Proc. Of the 12th IEEE International Symposium on Modeling Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004). IEEE-CS, Los Alamitos (2004)"},{"issue":"4","key":"1_CR7","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s100090100065","volume":"3","author":"S. Bernardi","year":"2001","unstructured":"Bernardi, S., Donatelli, S., Horv\u00e1th, a.A.: Implementing compositionality for stochastic Petri nets. Journal of Software Tools for Technology Transfer\u00a03(4), 417\u2013430 (2001), Special section on the pratical use of high-level Petri Nets","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1995","author":"E. Best","year":"1995","unstructured":"Best, E., Flrishhacl ANF, H., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: A class of composable high level Petri nets with an application to the semantics of B(PN)2. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, Springer, Heidelberg (1995)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P. Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite markov chains. Journal of Applied Probability\u00a031, 59\u201374 (1994)","journal-title":"Journal of Applied Probability"},{"key":"1_CR10","unstructured":"Capra, L.: Exploiting partial symmetries in SWN models. PhD thesis, Universit\u00e0 di Torino (2001)"},{"key":"1_CR11","unstructured":"Capra, L., De Pierro, M., Franceschinis, G.: An application example of symbolic calculus for SWN structural relations. In: Proceedings of the 7th International Workshop on Discrete Event Systems, 2004, Reims, France. Elsevier-Oxford (2005)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of 26th Int. Conf. on Application and Theory of Petri Nets and other models of concurrency, ATPN 2005","author":"L. Capra","year":"2005","unstructured":"Capra, L., De Pierro, M., Franceschinis, G.: A high level language for structural relations in well-formed nets. In: Proc. of 26th Int. Conf. on Application and Theory of Petri Nets and other models of concurrency, ATPN 2005, Miami,FL,USA. LNCS. Springer, Heidelberg (2005)"},{"key":"1_CR13","volume-title":"Proc. of the 9th IEEE International Symposium on Modeling Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 1999)","author":"L. Capra","year":"1999","unstructured":"Capra, L., Dutheillet, C., Franceschinis, G., Ili\u00e9, J.-M.: Towards performance analysis with partially symmetrical SWN. In: Proc. of the 9th IEEE International Symposium on Modeling Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 1999). IEEE-CS, Los Alamitos (1999)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Capra, L., Dutheillet, C., Franceschinis, G., Ili\u00e9, J.-M.: Exploiting partial symmetries for markov chain aggregation. Electronic Notes in Theoretical Computer Science\u00a039(3) (2000)","DOI":"10.1016\/S1571-0661(05)01221-1"},{"key":"1_CR15","volume-title":"Proc. 11th Intern. Conference on Application and Theory of Petri Nets","author":"G. Chiola","year":"1990","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On Well-Formed coloured nets and their symbolic reachability graph. In: Jensen, K., Rozenberg, G. (eds.) Proc. 11th Intern. Conference on Application and Theory of Petri Nets, Paris, France, June 1990, Springer, Heidelberg (1990)"},{"issue":"11","key":"1_CR16","first-page":"1343","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE TC\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE TC"},{"issue":"1&2","key":"1_CR17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming)\u00a0176(1&2), 39\u201365 (1997)","journal-title":"Theoretical Computer Science B (Logic, semantics and theory of programming)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1994","author":"G. Chiola","year":"1994","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R.: Modelling symmetric computer architectures by SWNs. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815. Springer, Heidelberg (1994)"},{"issue":"1&2","key":"1_CR19","first-page":"47","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools\u00a024(1&2), 47\u201368 (1995)","journal-title":"Performance Evaluation, special issue on Performance Modeling Tools"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/PNPM.1999.796529","volume-title":"Proc. of the 8th Int. Workshop on Petri nets and performance models (PNPM 1999)","author":"G. Ciardo","year":"1999","unstructured":"Ciardo, G., Miner, A.: A data structure for the efficient Kronecker solution of GSPNs. In: Proc. of the 8th Int. Workshop on Petri nets and performance models (PNPM 1999), Zaragoza, Spain, September 8\u201310, 1999, pp. 22\u201331. IEEE Comp. Soc. Press, Los Alamitos (1999)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-48068-4_8","volume-title":"Application and Theory of Petri Nets 2002","author":"J.-M. Couvreur","year":"2002","unstructured":"Couvreur, J.-M., Encrenaz, E., Paviot-Adet, E., Poitrenaud, D.: Data decision diagrams for petri net analysis. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 101\u2013120. Springer, Heidelberg (2002)"},{"key":"1_CR22","unstructured":"De Pierro, M.: Structural analysis of conflicts and causality in GSPN and SWN. PhD thesis, Universit\u00e0 di Torino - Italia (2004)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/PNPM.2003.1231539","volume-title":"Proc. of the 10th Int. Workshop on Petri nets and performance models (PNPM 2003)","author":"C. Delamare","year":"2003","unstructured":"Delamare, C., Gardan, Y., Moreaux, P.: Performance evaluation with asynchronously decomposable SWN: implementation and case study. In: Proc. of the 10th Int. Workshop on Petri nets and performance models (PNPM 2003), Urbana-Champaign, IL, USA, September 2\u20135, 2003, pp. 20\u201329. IEEE Comp. Soc. Press, Los Alamitos (2003)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Donatelli","year":"1994","unstructured":"Donatelli, S.: Kronecker algebra and Petri nets: is it worth the effort? In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815. Springer, Heidelberg (1994)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Donatelli","year":"1994","unstructured":"Donatelli, S.: Superposed Generalized Stochastic Petri Nets: definition and efficient solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, Springer, Heidelberg (1994)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-46029-2_8","volume-title":"Computer Performance Evaluation","author":"S. Donatelli","year":"2002","unstructured":"Donatelli, S., Ferro, L.: Validation of GSPN and SWN models through the PROD tool. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 131. Springer, Heidelberg (2002)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1996","author":"S. Donatelli","year":"1996","unstructured":"Donatelli, S., Franceschinis, G.: The PSR methodology: integrating hardware and software models. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091. Springer, Heidelberg (1996)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Duret-Lutz, A., Poitrenaud, D.: SPOT: an extensible model checking library using transition-based generalized buchi automata. In: Proc. of 12th IEEE\/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Teleccommunication Sustems (MASCOTS 2004), Volendam, Netherlands (September 2004)","DOI":"10.1109\/MASCOT.2004.1348184"},{"key":"1_CR29","unstructured":"Dutheillet, C., Haddad, S.: Regular stochastic Petri nets. In: Proc. 10th Intern. Conf. Application and Theory of Petri Nets, Bonn, Germany (June 1989)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_11","volume-title":"Applications and Theory of Petri Nets 2004","author":"G. Franceschinis","year":"2004","unstructured":"Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Mazzocca, N., Vittorini, V.: Compositional modeling of complex systems: contact center scenarios in OsMoSys. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, Springer, Heidelberg (2004)"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/PNPM.2003.1231542","volume-title":"Proceedings 10th International Workshop on Petri Net and Performance Models (PNPM 2003)","author":"G. Franceschinis","year":"2003","unstructured":"Franceschinis, G., Vittorini, V., Marrone, S., Mazzocca, N.: Swn client-server composition operators in the OsMoSys framework. In: Proceedings 10th International Workshop on Petri Net and Performance Models (PNPM 2003), Urbana-Champaign, IL, USA, pp. 52\u201361. IEEE CS, Los Alamitos (2003)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Gaeta, G.: Efficient discrete-event simulation of colored Petri nets. IEEE Transaction on Software Engineering\u00a022(9) (September 1996)","DOI":"10.1109\/32.541434"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Codetta Raiteri, D., Franceschinis, G.: Draw-net: a customizable multi-formalism, multi-solution tool for the quantitative evaluation of system. In: Submitted for publication to QEST 2005 (2005)","DOI":"10.1109\/QEST.2005.10"},{"key":"1_CR34","unstructured":"Haddad, S.: Une Categorie Regulier de Reseau de Petri de Haut Niveau: Definition, Proprietes et Reductions. PhD thesis, Lab. MASI, Universite P. et M. Curie (Paris 6), Paris, France, These de Doctorat, RR87\/197 (in French) (October 1987)"},{"key":"1_CR35","first-page":"121","volume-title":"Proc. of FORTE\/PSTV 2000","author":"S. Haddad","year":"2000","unstructured":"Haddad, S., Ili\u00e9, J.-M., Ajami, K.: A model checking method for partially symmetric systems. In: Proc. of FORTE\/PSTV 2000, pp. 121\u2013136. Kluwer, Dordrecht (2000)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-60029-9_43","volume-title":"Application and Theory of Petri Nets 1995","author":"S. Haddad","year":"1995","unstructured":"Haddad, S., Ili\u00e9, J.M., Taghelit, M., Zouari, B.: Symbolic Reachability Graph and Partial Symmetries. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 238\u2013257. Springer, Heidelberg (1995)"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/PNPM.1995.524311","volume-title":"Proc. of the 6th International Workshop on Petri Nets and Performance Models","author":"S. Haddad","year":"1995","unstructured":"Haddad, S., Moreaux, P.: Evaluation of high level Petri nets by means of aggregation and decomposition. In: Proc. of the 6th International Workshop on Petri Nets and Performance Models, Durham, NC, USA, October 3\u20136, 1995, pp. 11\u201320. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","first-page":"193","volume-title":"Application and Theory of Petri Nets 1996","author":"S. Haddad","year":"1996","unstructured":"Haddad, S., Moreaux, P.: Asynchronous composition of high level Petri nets: a quantitative approach. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 193\u2013211. Springer, Heidelberg (1996)"},{"key":"1_CR39","unstructured":"Ili\u00e9, J.-M., Baarir, S., Duret-Lutz, A.: Improving reachability analysis for partially symmetric high level Petri nets. In: Proc. of 12th IEEE\/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Teleccommunication Sustems (MASCOTS 2004), Volendam, Netherlands (September 2004)"},{"key":"1_CR40","unstructured":"Ili\u00e9, J.M., Baarir, S., Beccuti, M., Delamare, C., Donatelli, S., Dutheillet, C., Franceschinis, G., Gaeta, R., Moreaux, P.: Extended SWN solvers in greatspn. In: Proc. 1st Int. Conf. on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands (September 2004) (Tool presentation paper)"},{"key":"1_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"1_CR42","volume-title":"Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, vol.\u00a02. Springer, Heidelberg (1995)"},{"key":"1_CR43","unstructured":"Isabel, C., Rojas, M.: Compositional construction and Analysis of Petri net Systems. PhD thesis, University of Edinburgh (1997)"},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"W.H. Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 315\u2013343. Springer, Heidelberg (2001)"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1994","author":"C. Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc, C.: Comunicative and cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815. Springer, Heidelberg (1994)"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-45397-0_7","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C. Sibertin-Blanc","year":"2001","unstructured":"Sibertin-Blanc, C.: CoOperative Objects: Principles, use and implementation. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, p. 216. Springer, Heidelberg (2001)"},{"issue":"11","key":"1_CR47","first-page":"962","volume":"29","author":"E. Teruel","year":"2003","unstructured":"Teruel, E., Franceschinis, G., De Pierro, M.: Well-defined generalized stochastic Petri nets: A net-level method to specify priorities. IEEE TSE\u00a029(11), 962\u2013973 (2003)","journal-title":"IEEE TSE"},{"key":"1_CR48","unstructured":"Thierry-Mieg, Y.: Techniques pour le Model Checking de sp\u00e9cifications de haut niveau. PhD thesis, Univ. of Paris VI (2004)"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44919-1_9","volume-title":"Applications and Theory of Petri Nets 2003","author":"Y. Thierry-Mieg","year":"2003","unstructured":"Thierry-Mieg, Y., Dutheillet, C., Mounier, I.: Automatic symmetry detection in Well-formed Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 82\u2013101. Springer, Heidelberg (2003)"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-540-30232-2_18","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"Y. Thierry-Mieg","year":"2004","unstructured":"Thierry-Mieg, Y., Ili\u00e9, J.-M., Poitrenaud, D.: A symbolic symbolic state space. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 276\u2013291. Springer, Heidelberg (2004)"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Vittorini, V., Franceschinis, G., Gribaudo, M., Iacono, M., Mazzocca, N.: Drawnet++: Model objects to support performance analysis and simulation of complex systems. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 233\u2013238. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-46029-2_18"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: The osmosys approach to multi-formalism modeling of systems. Journal of Software and System Modeling\u00a03(1) (March 2004)","DOI":"10.1007\/s10270-003-0039-5"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:48Z","timestamp":1605643188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/11494744_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}