{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:41Z","timestamp":1762458821310,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540263012"},{"type":"electronic","value":"9783540315599"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_11","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"168-187","source":"Crossref","is-referenced-by-count":10,"title":["A High Level Language for Structural Relations in Well-Formed Nets"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Capra","sequence":"first","affiliation":[]},{"given":"Massimiliano","family":"De Pierro","sequence":"additional","affiliation":[]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"High-Level Petri Nets. Theory and Application","year":"1991","key":"11_CR1","unstructured":"Jensen, K., Rozenberg, G. (eds.): High-Level Petri Nets. Theory and Application. Springer, Heidelberg (1991)"},{"issue":"11","key":"11_CR2","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"},{"key":"11_CR3","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997) (2nd corrected printing 1997. ISBN: 3-540-60943-1)"},{"key":"11_CR4","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, 39\u201365 (1997)","journal-title":"Theoretical Computer Science B (Logic, semantics and theory of programming)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-60029-9_37","volume-title":"Application and Theory of Petri Nets 1995","author":"R. Brgan","year":"1995","unstructured":"Brgan, R., Poitrenaud, D.: An efficient algorithm for the computation of stubborn sets of well formed Petri nets. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 121\u2013140. Springer, Heidelberg (1995)"},{"issue":"11","key":"11_CR6","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":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/3-540-56863-8_41","volume-title":"Application and Theory of Petri Nets 1993","author":"K. Barkaoui","year":"1993","unstructured":"Barkaoui, K., Dutheillet, C., Haddad, S.: An efficient algorithm for finding structural deadlocks in colored Petri nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 69\u201388. Springer, Heidelberg (1993)"},{"issue":"9","key":"11_CR8","first-page":"629","volume":"22","author":"R. Gaeta","year":"1996","unstructured":"Gaeta, R.: Efficient discrete-event simulation of colored petri nets. IEEE TSE\u00a022(9), 629\u2013639 (1996)","journal-title":"IEEE TSE"},{"key":"11_CR9","unstructured":"Dutheillet, C., Haddad, S.: Structural analysis of coloured nets. application to the detection of confusion. Technical report in MASI 92.16 (1992)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Dutheillet, C., Haddad, S.: Conflict sets in colored Petri nets. In: Proc. of Petri Nets and Performance Models, pp. 76\u201385 (1993)","DOI":"10.1109\/PNPM.1993.393433"},{"key":"11_CR11","unstructured":"De Pierro, M.: Ph.D. thesis: Structural analysis of conflicts and causality in GSPN and SWN. Universit\u00e0 di Torino, Italia (2004), http:\/\/www.di.unito.it\/~depierro\/public\/"},{"key":"11_CR12","unstructured":"Capra, L., De Pierro, M., Franceschinis, G.: Symbolic calculus for structural relations in well-formed nets. Technical report RT 03-04; Dipartimento di Informatica e Comunicazione, Universit\u00e0 di Milano, Italia (2004), http:\/\/www.di.unito.it\/~depierro\/public\/"},{"key":"11_CR13","volume-title":"Proceedings of the 7th International Workshop on Discrete Event Systems, 2004","author":"L. Capra","year":"2005","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, Amsterdam (2005)"},{"key":"11_CR14","unstructured":"Valmari, A.: Stubborn sets of coloured Petri nets. In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pp. 102\u2013121 (1991); NewsletterInfo: 39"},{"key":"11_CR15","unstructured":"Valmari, A.: State of the art report: Stubborn sets. Petri Net Newsletter, 6\u201314 (1994)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-69108-1_7","volume-title":"Application and Theory of Petri Nets 1998","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Valmari, A.: sloopy Finding stubborn sets of coloured Petri nets without unfolding. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 104\u2013123. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:05:11Z","timestamp":1740261911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11494744_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}