{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T03:40:04Z","timestamp":1735530004006,"version":"3.32.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1995,8,1]],"date-time":"1995-08-01T00:00:00Z","timestamp":807235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1995,8]]},"DOI":"10.1007\/bf01383875","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T02:10:10Z","timestamp":1112407810000},"page":"101-123","source":"Crossref","is-referenced-by-count":5,"title":["A Colored Petri Net model of VHDL"],"prefix":"10.1007","volume":"7","author":[{"given":"Seraf\ufffdn","family":"Olcoz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\ufffd Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"?IEEE Standard VHDL Language Reference Manual,? IEEE, Inc., New York, N.Y., U.S.A., March 1988."},{"key":"CR2","unstructured":"?IEEE Standards Interpretations: IEEE Std. 1076?1987, IEEE VHDL Language Reference Manual,? IEEE, Inc., New York, N.Y., U.S.A., 1992."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"D. Borrione, H. Eveking, and L. Pierre, ?Formal proofs from HDL descriptions,? Technical Report, 1993.","DOI":"10.1007\/978-94-011-1914-6_5"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"P.T. Breuer, L. S\u00e1nchez, and C. Delgado, ?Clean Formal Semantics for VHDL,?EDAC, 1994.","DOI":"10.1109\/EDTC.1994.326810"},{"key":"CR5","unstructured":"W. Damm, B. Josko, and R. Schl\u00f6r, ?Linking VHDL with Formal Verification Tools: How to Generate Finite-State Models out of VHDL Designs,? Technical Report, University of Oldenburg, 1993."},{"key":"CR6","unstructured":"J. van Tassel, ?The Semantics of VHDL with VAL and HOL: Towards Practical Verification Tools,? M.Sc. thesis, Dept. of Computer Science and Engineering, Wright University, 1989, also: Technical Report 196, University of Cambridge, Computer Laboratory, UK, June 1990."},{"key":"CR7","unstructured":"S. Olcoz and J.M. Colom, ?The Discrete Event Simulation Semantics of VHDL,?Intl. Conf. on Simulation and HDLs, Tempe (Arizona), U.S.A., pp. 128?134, January 1994."},{"key":"CR8","first-page":"342","volume-title":"Advances in Petri Nets 1990, Lecture Notes in Computer Science","author":"K. Jensen","year":"1990","unstructured":"K. Jensen, ?Colored Petri Nets: A High Level Language for System Design and Analysis,? inAdvances in Petri Nets 1990, Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, New York, 483, pp. 342?416, 1990."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"S. Olcoz and J.M. Colom, ?Toward a Formal Semantics of IEEE Std. VHDL-1076,?Euro VHDL'93, Hamburg, pp. 526?531, 1993.","DOI":"10.1109\/EURDAC.1993.410687"},{"key":"CR10","unstructured":"S. Olcoz and J.M. Colom, ?Petri Net Based Analysis of VHDL Programs,?2nd International Conference Euro VHDL-91, Stockholm, September 1991."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"S. Olcoz and J.M. Colom, ?A Petri Net Approach for the Analysis of VHDL Descriptions,?CHARME'93, Arles, pp. 15?26, May 1993.","DOI":"10.1007\/BFb0021711"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"S. Olcoz and J.M. Colom, ?Analysis Tools applied to VHDL,?EUROMICRO'93, Barcelona, pp. 597?604, September 1993.","DOI":"10.1016\/0165-6074(93)90200-5"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383875.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01383875\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T02:38:04Z","timestamp":1735526284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01383875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,8]]},"references-count":12,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,8]]}},"alternative-id":["BF01383875"],"URL":"https:\/\/doi.org\/10.1007\/bf01383875","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1995,8]]}}}