{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:16:00Z","timestamp":1742800560197,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_37","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:55Z","timestamp":1330256575000},"page":"17-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Interleaving functional and performance structural analysis of net models"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Silva","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"G. Berthelot. Transformations and Decompositions of Nets. In Advance Course on Petri Nets (W. Brauer, W. Reisig, G. Rozenberg, eds.). LNCS 254: 359\u2013376. Springer-Verlag.","DOI":"10.1007\/BFb0046845"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"E. Best. Structure theory of Petri Nets: The free choice hiatus. In Advances Course on Petri Nets. LNCS 254: 168\u2013205. Springer-Verlag.","DOI":"10.1007\/BFb0046840"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"J. Campos, G. Chiola, J.M. Colom, M. Silva. Properties and performance bounds for timed marked graphs. IEEE Transactions on Circuits and Systems I: Fundamental theory and applications, 39(5):386\u2013401.","DOI":"10.1109\/81.139289"},{"key":"2_CR4","unstructured":"J. Campos, J.M. Colom, H. Jungnitz, M.Silva. A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Dpto. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Universidad de Zaragoza. RR-93-06. 18 pages."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"J. Campos, J.M. Colom, M. Silva. Performance Evaluation of Repetitive Automated Manufacturing Systems. Rensselaer's 2nd Int. Conf. on Computer Integrated Manufacturing. IEEE Computer Society Press: 74\u201381.","DOI":"10.1109\/CIM.1990.128074"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"J. Campos, G. Chiola, M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automatic Control (Special Issue on Multidimensional Queueing Networks) 36(12): 1368\u20131382.","DOI":"10.1109\/9.106153"},{"key":"2_CR7","unstructured":"J. Campos, M. Silva. Steady-state performance evaluation of totally open systems of Markovian sequential processes. In Decentralized Systems (M. Cosnard and C. Girault, eds.). North-Holland, Amsterdam, 427\u2013438."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"J.M. Colom, M. Silva. Improving the linearly based characterization of P\/T nets. In Advances in Petri Nets 90, LNCS 483: 113\u2013145. Springer-Verlag.","DOI":"10.1007\/3-540-53863-1_23"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J. Campos, M. Silva. Structural techniques and performance bounds of stochastic Petri net models. Advances in Petri Nets'92 (G. Rozenberg, ed.), LNCS 609:352\u2013391. Spriger-Verlag.","DOI":"10.1007\/3-540-55610-9_178"},{"key":"2_CR10","unstructured":"J. Campos, M. Silva. Embedded queueing networks and the improvement of insensitive performance bounds for Markovian Petri Net systems. To appear in Performance Evaluation."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"F. Commoner, A.W. Holt, S. Even, A. Pnueli. Marked Directed Graphs. J. Comput. System Sci. 5:72\u201379.","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J. Desel. A proof of the Rank theorem for extended free choice nets. In Applications and Theory of Petri Nets 1992 (Kurt Jensen, ed.). LNCS 616: 134\u2013153. Springer-Verlag.","DOI":"10.1007\/3-540-55676-1_8"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"A. Desrochers, H. Jungnitz, M. Silva. An approximation method for the performance analysis of manufacturing systems based on GSPNs. Procs. of Rensselaer's 3rd. Int. Conference on Computer Integrated Manufacturing, IEEE Computer Society Press, Troy (NY):46\u201355","DOI":"10.1109\/CIM.1992.638983"},{"key":"2_CR14","unstructured":"Y. Dallery, Z. Liu, D. Towsley. Equivalence, Reversibility and Symmetries Properties in Fork Join Queueing Networks with Blocking. In Technical Report MASI 90\u201332, Universite Paris 6."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"J. Esparza, M. Silva. On the analysis and synthesis of free choice systems. Advances in Petri Nets'90 (G. Rozenberg, ed.), LNCS 483:243\u2013286. Springer-Verlag.","DOI":"10.1007\/3-540-53863-1_28"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"J. Esparza, M. Silva. Top-down synthesis of live and bounded free choice nets. Advances in Petri Nets'91 (G. Rozenberg, ed.), LNCS 524:118\u2013139. Springer-Verlag.","DOI":"10.1007\/BFb0019972"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, K. Lautenbach. Synchronizations graphen. In Acta Inform\u00e1tica 2: 143\u2013161.","DOI":"10.1007\/BF00264027"},{"key":"2_CR18","series-title":"Corrections in Computation Structures Note 17","volume-title":"M.S.Thesis, Project MAC TR-94","author":"M.H.T. Hack","year":"1974","unstructured":"M.H.T. Hack Analysis of Production Schemata by Petri Nets. M.S.Thesis, Project MAC TR-94, MIT, Cambridge, Massachusetts. (Corrections in Computation Structures Note 17, 1974.)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"H. Jungnitz, B. Sanchez, M. Silva. Approximate throughput computation of stochastic marked graphs. Journal and Parallel and Distributed Computing 15:282\u2013295.","DOI":"10.1016\/0743-7315(92)90009-C"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"K. Lautenbach. Linear Algebraie Techniques for Place\/Transition Nets. In Petri Nets: Central Models and their Properties. Advances in Petri Nets 86, LNCS 254:142\u2013167. Springer-Verlag.","DOI":"10.1007\/BFb0046839"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"T. Murata. Petri Nets: Properties, Analysis and Applications. Procs. IEEE 77,4:541\u2013580.","DOI":"10.1109\/5.24143"},{"key":"2_CR22","unstructured":"W. Reisig. Petri Nets-An Introduction. Springer-Verlag."},{"key":"2_CR23","unstructured":"M. Silva, J.M. Colom. On the Computation of Structural Synchronic Invariants in P\/T Nets. In Advances in Petri Nets 88, LNCS 340:387\u2013417. Springer-Verlag."},{"key":"2_CR24","unstructured":"M. Silva. Las Redes de Petri en la Autom\u00e1tica y en la Inform\u00e1tica. Editorial AC, Madrid."},{"key":"2_CR25","unstructured":"Y. Souissi. Deterministic Systems of Sequential Processes: a Class of Structured Petri Nets. In Procs. 12th Int. Conf. on Appl. and Theory of Petri Nets:62\u201381. Gjern, Denmark."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"E. Teruel, P. Chrzastowski-Wachtel, J.M. Colom, M. Silva. On Weighted T-systems. In Applications and Theory of Petri Nets 1992, LNCS 616:348\u2013367. Springer-Verlag.","DOI":"10.1007\/3-540-55676-1_20"},{"key":"2_CR27","unstructured":"E. Teruel, J.M. Colom, M. Silva. Modelling and analysis of deterministic concurrent systems with bulk services and arrivals. Dpto. Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Universidad de Zaragoza, RR-93-09. 20 pages."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"E. Teruel, M. Silva. Liveness and Home States in Equal Conflict Systems. In Applications and Theory of Petri Nets 1993 (M. Ajmone Marsan, ed.), LNCS. Springer-Verlag.","DOI":"10.1007\/3-540-56863-8_59"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan, K. Voss. A Fresh Look at Free Choice Nets. Information and Control 61, 2:85\u2013113.","DOI":"10.1016\/S0019-9958(84)80052-2"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:55:47Z","timestamp":1742594147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_37"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}