{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T21:51:23Z","timestamp":1672696283285},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1016\/0164-1212(94)90024-8","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:31:55Z","timestamp":1060317115000},"page":"97-117","source":"Crossref","is-referenced-by-count":18,"title":["Validating timing requirements for time basic net specifications"],"prefix":"10.1016","volume":"27","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandro","family":"Morasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90024-8_BIB1","series-title":"Proceedings of the 5th IEEE LICS 90","article-title":"Model-checking for real-time systems","author":"Alur","year":"1990"},{"key":"10.1016\/0164-1212(94)90024-8_BIB2","doi-asserted-by":"crossref","DOI":"10.1109\/32.75415","article-title":"Modeling and Verification of Time Dependent Systems Using Timed Petri Nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90024-8_BIB3","series-title":"Proceedings of IFIP Congress","article-title":"An enumerative approach for analyzing timed Petri nets","author":"Berthomieu","year":"1983"},{"key":"10.1016\/0164-1212(94)90024-8_BIB4","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1983.235261","article-title":"Timing Requirements for Time Driven Systems Using Augmented Petri Nets","author":"Coolahan","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90024-8_BIB5","series-title":"Proceedings of the 5th Australian Software Engineering Conference","article-title":"The notion of time in distributed systems","author":"Daniels","year":"1990"},{"key":"10.1016\/0164-1212(94)90024-8_BIB6","doi-asserted-by":"crossref","DOI":"10.1007\/BF01088591","article-title":"Giving Semantics to SA\/RT by Means of High Level Timed Petri Nets","author":"Elmstra\u00f8m","year":"1993","journal-title":"J. Real-Time Syst."},{"key":"10.1016\/0164-1212(94)90024-8_BIB7","doi-asserted-by":"crossref","DOI":"10.1007\/BF01088590","article-title":"High Level Timed Petri Nets as a Kernel for Executable Specification","author":"Felder","year":"1993","journal-title":"J. Real-Time Syst."},{"key":"10.1016\/0164-1212(94)90024-8_BIB8","series-title":"5th International Workshop on Software Specification and Design, IEEE","article-title":"A general way to put time in Petri nets","author":"Ghezzi","year":"1989"},{"key":"10.1016\/0164-1212(94)90024-8_BIB9","doi-asserted-by":"crossref","DOI":"10.1109\/32.67597","article-title":"A Unified High-Level Petri Net Formalism for Time-Critical Systems","volume":"17","author":"Ghezzi","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90024-8_BIB10","doi-asserted-by":"crossref","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A Visual Formalism for Complex Systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comp. Progr."},{"key":"10.1016\/0164-1212(94)90024-8_BIB11","author":"Henzinger","year":"1991"},{"key":"10.1016\/0164-1212(94)90024-8_BIB12","series-title":"REX'91","article-title":"Timed transitions systems","author":"Henzinger","year":"1991"},{"key":"10.1016\/0164-1212(94)90024-8_BIB13","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1987.233141","article-title":"A Generalized Timed Petri Net Model for Performance Analysis","author":"Holliday","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90024-8_BIB14","article-title":"Safety Analysis of Timing Properties of Real-Time Systems","volume":"12","author":"Jahanian","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90024-8_BIB15","article-title":"Specifying Message Passing and Time-Critical Systems with Temporal Logic","author":"Koymans","year":"1989"},{"key":"10.1016\/0164-1212(94)90024-8_BIB16","doi-asserted-by":"crossref","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of Communication Protocols: Implications of a Theoretical Study","author":"Merlin","year":"1976","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/0164-1212(94)90024-8_BIB17","series-title":"Real-Time Systems, Theory and Applications","article-title":"Using high-level Petri nets for testing concurrent and real-time systems","author":"Morasca","year":"1990"},{"key":"10.1016\/0164-1212(94)90024-8_BIB18","article-title":"The Specification of Real-Time Systems: Proposal of a Logic Formalism","author":"Morzenti","year":"1989"},{"key":"10.1016\/0164-1212(94)90024-8_BIB19","article-title":"Petri Nets: Properties, Analysis and Applications","volume":"77","author":"Murata","year":"1989"},{"key":"10.1016\/0164-1212(94)90024-8_BIB20","series-title":"Proceedings IFIP Working Conference on Formal Description of Programming Concepts, North-Holland","article-title":"Atp: An algebra for timed processes","author":"Nicollin","year":"1990"},{"key":"10.1016\/0164-1212(94)90024-8_BIB21","series-title":"Temporal Logic For Real-Time Systems","author":"Ostroff","year":"1989"},{"key":"10.1016\/0164-1212(94)90024-8_BIB22","series-title":"Petri Net Theory and the Modelling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0164-1212(94)90024-8_BIB23","series-title":"Proceedings of the DECUS Europe Conference","article-title":"Cabernet: An environment for the specification and verification of real-time systems","author":"Pezz\u00e8","year":"1992"},{"key":"10.1016\/0164-1212(94)90024-8_BIB24","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1980.230492","article-title":"Performance Evaluation of Asynchronous Concurrent Ssytems Using Petri Nets","author":"Ramamoorthy","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90024-8_BIB25","series-title":"Petri Nets: An Introduction","author":"Reisig","year":"1985"},{"key":"10.1016\/0164-1212(94)90024-8_BIB26","series-title":"Proceedings of the 1st International Workshop on Timed Petri Nets","article-title":"Hierarchical modeling of software systems with timed Petri nets","author":"Stotts","year":"1985"},{"key":"10.1016\/0164-1212(94)90024-8_BIB27","series-title":"Real-Time Behavior of Asynchronous Agents","author":"Wang","year":"1990"},{"key":"10.1016\/0164-1212(94)90024-8_BIB28","article-title":"The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing","volume":"2","author":"Ward","year":"1986","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900248?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900248?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:59:15Z","timestamp":1552618755000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["0164121294900248"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90024-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}