{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:29Z","timestamp":1755221009831,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1007907309442","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:13:40Z","timestamp":1040541220000},"page":"219-236","source":"Crossref","is-referenced-by-count":9,"title":["A Systematic Approach to the Petri Net Based Specification of Concurrent Systems"],"prefix":"10.1007","volume":"13","author":[{"given":"Antonino","family":"Mazzeo","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Russo","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"140958_CR1","first-page":"132","volume":"266","author":"M. Ajmone-Marsan","year":"1987","unstructured":"Ajmone-Marsan, M., Chiola, G., \u201cOn Petri Nets with Deterministic and Exponential Transition Firing Times,\u201d Lecture Notes in Computer Science, Vol. 266 [24], 1987, pp. 132\u2013145.","journal-title":"On Petri Nets with Deterministic and Exponential Transition Firing Times"},{"key":"140958_CR2","doi-asserted-by":"crossref","unstructured":"Ajmone-Marsan, M., Balbo, G., Chiola, G., Conte, G., Donatelli, S., Franceschinis, G., \u201cAn Introduction to Generalized Stochastic Petri Nets,\u201d Microelectronics and Reliability, 1991, pp. 699\u2013725.","DOI":"10.1016\/0026-2714(91)90010-5"},{"key":"140958_CR3","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1986.6312944","volume":"Se-12","author":"G.S. Avrunin","year":"1987","unstructured":"Avrunin, G.S., Dillon, L.K., Wileden, J.C., Riddle, W.E., \u201cConstrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems,\u201d IEEE Trans. on Soft. Eng., Vol. SE-12, Feb. 1986, pp. 278\u2013292.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"140958_CR4","unstructured":"Donatelli, S., Franceschinis, G., Mazzocca, N., Russo S., \u201cThe EPOCA Integrated Environment Software Architecture,\u201d in G. Haring, G. Kotsis (Eds): Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, Austria, May 1994, Lecture Notes in Computer Science 794."},{"key":"140958_CR5","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R., \u201cCommunicating Sequential Processes,\u201d Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"140958_CR6","unstructured":"Jelly, I.E., \u201cDirections in Software Engineering for Parallel Systems,\u201d Proc. of the 28th Hawaiian Conference on Systems Science, Hawaii, Jan. 1995, IEEE-CS Press."},{"issue":"3","key":"140958_CR7","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"SE-13","author":"N.G. Leveson","year":"1987","unstructured":"Leveson, N.G., Stolzy, J.L., \u201cSafety Analysis Using Petri Nets,\u201d IEEE Trans. on Soft. Eng., Vol. SE-13, No. 3, Mar. 1987, pp. 386\u2013397.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"140958_CR8","unstructured":"Mazzeo, A., Mazzocca, N., Russo, S., Savy, C., Vittorini, V., \u201cFormal specification of concurrent systems: a structured approach,\u201d submitted for publication to The Computer Journal."},{"key":"140958_CR9","doi-asserted-by":"crossref","unstructured":"Merlin, P.M., Farber, D.J., \u201cRecoverability of Communication Protocols-Implications of a Theoretical Study,\u201d IEEE Trans. on Comm., Vol. COM-24, Sept. 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"140958_CR10","doi-asserted-by":"crossref","unstructured":"Murata, T., \u201cPetri Nets: Properties, Analysis and Applications,\u201d Proc. of the IEEE, Apr. 1989, pp. 541\u2013580.","DOI":"10.1109\/5.24143"},{"key":"140958_CR11","doi-asserted-by":"crossref","unstructured":"Ramamoorthy, C.V., Ho, G.S., \u201cPerformance Evaluation of Asynchronous Concurrent Systems Using Petri Nets,\u201d IEEE Trans. on Soft. Eng., Vol. 6, No. 5, Sept.1980.","DOI":"10.1109\/TSE.1980.230492"},{"key":"140958_CR12","unstructured":"Sifakis, J., \u201cUse of Petri Net for Performance Evaluation,\u201d Proc. of the 3rd. Int. sWorkshop on Modeling and Performance Evaluation of Computer Systems, Amsterdam, 1977."},{"key":"140958_CR13","doi-asserted-by":"crossref","unstructured":"Sorensen, E.V., Nordahl, J., Hansen, N.H., \u201cFrom CSP Models to Markov Models,\u201d IEEE Trans. on Soft. Eng., Vol. SE-19, No. 6, June 1993.","DOI":"10.1109\/32.232021"},{"key":"140958_CR14","unstructured":"\u201cUltraSAN User's Manual,\u201d Center for Reliable and High-Performance Computing; Coordinate Science Laboratory, University of Illinois at Urbana-Champaign."},{"key":"140958_CR15","doi-asserted-by":"crossref","unstructured":"Van der Aalst, W.M.P., Odijk, M.A., \u201cAnalysis of Railway Stations by Means of Interval Timed Coloured Petri Nets,\u201d Real Time Systems, Vol.9, No.3, Nov. 1995.","DOI":"10.1007\/BF01088807"},{"key":"140958_CR16","unstructured":"Vittorini, V., \u201cAn integrated algebraic-operational approach to the analysis of concurrent systems,\u201d Ph.D. Thesis, Dipartimento di Informatica e Sistemistica, Universita' di Napoli \u201cFederico II\u201d, February 1995 (in Italian)."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007907309442.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007907309442\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007907309442.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:13:06Z","timestamp":1754637186000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007907309442"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["140958"],"URL":"https:\/\/doi.org\/10.1023\/a:1007907309442","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}