{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:46Z","timestamp":1725564886082},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_21","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"371-390","source":"Crossref","is-referenced-by-count":23,"title":["Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation"],"prefix":"10.1007","author":[{"given":"Olivier H.","family":"Roux","sequence":"first","affiliation":[]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45740-2_5","volume-title":"Applications and Theory of Petri Nets 2001","author":"P.A. Abdulla","year":"2001","unstructured":"Abdulla, P.A., Nyl\u00e9n, A.: Timed Petri nets and BQOs. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 53\u201372. Springer, Heidelberg (2001)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Agerwala, T.: A complete model for representing the coordination of asynchronous processes. Technical report, John Hopkins University, Baltimore, Maryland (1974)","DOI":"10.2172\/4242290"},{"key":"21_CR3","unstructured":"Berthomieu, B.: La m\u00e9thode des classes d\u2019\u00e9tats pour l\u2019analyse des r\u00e9seaux temporels. In: 3e congr\u00e8s Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs (MSR 2001), Toulouse, France, October 2001, pp. 275\u2013290. Hermes (2001)"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE transactions on software engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE transactions on software engineering"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/3-540-36577-X_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Berthomieu","year":"2003","unstructured":"Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of time Petri nets. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 442\u2013457. Springer, Heidelberg (2003)"},{"key":"21_CR6","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Modeling flexible real time systems with preemptive time Petri nets. In: 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), pp. 279\u2013286 (2003)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44618-4_12","volume-title":"CONCUR 2000 - Concurrency Theory","author":"F. Cassez","year":"2000","unstructured":"Cassez, F., Larsen, K.G.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, p. 138. Springer, Heidelberg (2000)"},{"key":"21_CR8","unstructured":"Chiola, G., Donatelli, S., Franceshinis, G.: Priorities, inhibitor arcs and concurrency in PT nets. In: 12th international conference on Application and Theory of Petri Nets, pp. 182\u2013205 (1991)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Dantzig, G.B.: Linear programming and extensions. IEICE Transactions on Information and Systems (1963)","DOI":"10.7249\/R366"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44988-4_12","volume-title":"Application and Theory of Petri Nets 2000","author":"D. Frutos Escrig de","year":"2000","unstructured":"de Frutos Escrig, D., Valero Ruiz, V., Marroqu\u00edn Alonso, O.: Decidability of properties of timed-arc petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 187\u2013206. Springer, Heidelberg (2000)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-58152-9_13","volume-title":"Application and Theory of Petri Nets 1994","author":"M. Diaz","year":"1994","unstructured":"Diaz, M., Senac, P.: Time stream Petri nets: a model for timed multimedia information. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 219\u2013238. Springer, Heidelberg (1994)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","first-page":"197","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1989","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1989)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Gardey","year":"2003","unstructured":"Gardey, G., Roux, O.H., Roux, O.F.: A zone-based method for computing the state space of a time Petri net. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791. Springer, Heidelberg (2003)"},{"volume-title":"Computation Structures Group Memo 127","year":"1975","author":"M. Hack","key":"21_CR14","unstructured":"Hack, M.: Petri net language. In: Computation Structures Group Memo 127. MIT, Cambridge (1975)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-54430-5_97","volume-title":"CONCUR \u201991","author":"R. Janicki","year":"1991","unstructured":"Janicki, R., Koutny, M.: Invariant semantics of nets with inhibitor arcs. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 317\u2013331. Springer, Heidelberg (1991)"},{"issue":"1","key":"21_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"Janicki, R., Koutny, M.: Semantics of inhibitor nets. Information and Computation\u00a0123(1), 1\u201315 (1995)","journal-title":"Information and Computation"},{"issue":"3","key":"21_CR17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/FI-1999-38301","volume":"38","author":"R. Janicki","year":"1999","unstructured":"Janicki, R., Koutny, M.: On causality semantics of nets with priorities. Fundamenta Informaticae\u00a038(3), 223\u2013255 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"21_CR18","unstructured":"Khansa, W., Denat, J.-P., Collart-Dutilleul, S.: P-Time Petri Nets for manufacturing systems. In: International Workshop on Discrete Event Systems, WODES 1996, Edinburgh, U.K., August 1996, pp. 94\u2013102 (1996)"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Model-checking for real-time systems. In: Fundamentals of Computation Theory, pp. 62\u201388 (1995)","DOI":"10.1007\/3-540-60249-6_41"},{"key":"21_CR20","series-title":"ENTCS","volume-title":"MFCS Workshop on Concurrency 1998","author":"J. Lilius","year":"1999","unstructured":"Lilius, J.: Efficient state space search for time Petri nets. In: MFCS Workshop on Concurrency 1998. ENTCS, vol.\u00a018. Elsevier, Amsterdam (1999)"},{"volume-title":"5th IFAC International Conference on Fieldbus Systems and their Applications, (FET 2003)","year":"2003","author":"D. Lime","key":"21_CR21","unstructured":"Lime, D., Roux, O.H.: Expressiveness and analysis of scheduling extended time Petri nets. In: 5th IFAC International Conference on Fieldbus Systems and their Applications (FET 2003), July 2003. Elsevier Science, Amsterdam (2003)"},{"volume-title":"10th International Workshop on Petri Nets and Performance Models, (PNPM 2003)","year":"2003","author":"D. Lime","key":"21_CR22","unstructured":"Lime, D., Roux, O.H.: State class timed automaton of a time Petri net. In: 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), September 2003. IEEE Computer Society, Los Alamitos (2003)"},{"key":"21_CR23","unstructured":"Menasche, M.: Analyse des r\u00e9seaux de Petri temporis\u00e9s et application aux syst\u00e8mes distribu\u00e9s. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse, France (1982)"},{"key":"21_CR24","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California, Irvine, CA (1974)"},{"issue":"3","key":"21_CR25","first-page":"148","volume":"18","author":"Y. Okawa","year":"1996","unstructured":"Okawa, Y., Yoneda, T.: Schedulability verification of real-time systems with extended time Petri nets. International Journal of Mini and Microcomputers\u00a018(3), 148\u2013156 (1996)","journal-title":"International Journal of Mini and Microcomputers"},{"volume-title":"Petri net theory and the modeling of systems","year":"1981","author":"J.L. Peterson","key":"21_CR26","unstructured":"Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, New-York (1981)"},{"key":"21_CR27","unstructured":"Pezze, M., Toung, M.: Time Petri nets: A primer introduction. In: Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain (September 1999)"},{"issue":"4","key":"21_CR28","first-page":"227","volume":"27","author":"L. Popova","year":"1991","unstructured":"Popova, L.: On time Petri nets. Journal on Information Processing and Cybernetics, EIK\u00a027(4), 227\u2013244 (1991)","journal-title":"Journal on Information Processing and Cybernetics, EIK"},{"key":"21_CR29","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, Project MAC Report MAC-TR-120 (1974)"},{"key":"21_CR30","unstructured":"Roux, O.H., D\u00e9planche, A.-M.: A t-time Petri net extension for real time-task scheduling modeling. European Journal of Automation (JESA)\u00a036(7) (2002)"},{"key":"21_CR31","unstructured":"Toussaint, J., Simonot-Lion, F., Thomesse, J.-P.: Time constraint verification methods based on time Petri nets. In: 6th Workshop on Future Trends in Distributed Computing Systems (FTDCS 1997), Tunis, Tunisia, pp. 262\u2013267 (1997)"},{"issue":"3","key":"21_CR32","first-page":"297","volume":"E99-D","author":"T. Yoneda","year":"1998","unstructured":"Yoneda, T., Ryuba, H.: CTL model checking of time Petri nets using geometric regions. IEICE Transactions on Information and Systems\u00a0E99-D(3), 297\u2013396 (1998)","journal-title":"IEICE Transactions on Information and Systems"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T09:06:51Z","timestamp":1591866411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}
