{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:59Z","timestamp":1725455699847},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025078","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:56:54Z","timestamp":1132387014000},"page":"591-610","source":"Crossref","is-referenced-by-count":10,"title":["PNtalk \u2014 a computerized tool for object oriented petri nets modelling"],"prefix":"10.1007","author":[{"given":"Milan","family":"\u010ce\u0161ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Janou\u0161ek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Coloured Petri Nets. In: Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53863-1_30"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Volume 1. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"49_CR3","unstructured":"Lakos, C.A., Keen, C.D.: LOOPN++: A New Language for Object-Oriented Petri Nets. Technical Report R94-4, University of Tasmania, 1994."},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc, C.: Cooperative Nets. In: Application and Theory of Petri Nets 1994, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58152-9_26"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Morasca, S., Pezz\u00e8, M.: Timing Analysis of Time Basic Nets. The Journal of Systems and Software, 1994.","DOI":"10.1016\/0164-1212(94)90024-8"},{"key":"49_CR6","unstructured":"Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Volume 2. Springer-Verlag, 1995."},{"key":"49_CR7","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 1995."},{"key":"49_CR8","unstructured":"Sch\u00f6f, S., Sonnenschein, M., Wieting, R.: High-level Modeling with THORNS. In: Proceedings of the 14th International Congress on Cybernetics, Namur, Belgium, 1995."},{"key":"49_CR9","volume-title":"Proceedings of the European Simulation Multiconference ESM'95, 1995","author":"V. Janou\u0161ek","year":"1995","unstructured":"Janou\u0161ek, V.: PNtalk: Object Orientation in Petri Nets. In: Proceedings of the European Simulation Multiconference ESM'95, 1995, Prague Technical University, Prague, Czech Republic, 1995."},{"key":"49_CR10","unstructured":"Bowden, F.D.J.: Modelling Time in Petri Nets. In: Proceedings of the Second Australia-Japan Workshop on Stochastic Models, Gold Coast, 1996."},{"key":"49_CR11","volume-title":"Object Oriented Modelling and Simulation. Proceedings of the 22nd Conference of the ASU","author":"M. \u010ce\u0161ka","year":"1996","unstructured":"\u010ce\u0161ka, M., Jano\u0161ek, V.: Object Orientation in Petri Nets. In: Object Oriented Modelling and Simulation. Proceedings of the 22nd Conference of the ASU, University Blaise Pascal, Clermont-Ferrand, France, 1996."},{"key":"49_CR12","unstructured":"Janou\u0161ek, V.: Objektov\u011b orientovan\u00e9 Petriho s\u00edt\u011b-form\u00e1ln\u00ed z\u00e1klad jazyka PNtalk. Technick\u00e1 zpr\u00e1va, \u00daIVT FEI VUT v Brn\u011b, 1997. (in czech)"},{"key":"49_CR13","volume-title":"Advances in Systems Science and Applications, ASSA Special Issue, International Institute for General Systems Studies","author":"M. \u010ce\u0161ka","year":"1997","unstructured":"\u010ce\u0161ka, M., Janou\u0161ek, V.: A Formal Model for Object Oriented Petri Nets Modeling. In: Advances in Systems Science and Applications, ASSA Special Issue, International Institute for General Systems Studies, Southwest Texas State University, San Marcos, Texas, USA, 1997."},{"key":"49_CR14","unstructured":"Esser, R.: An Object Oriented Language for Emdedded System Design. In: Proceedings of 8th International Workshop on Software Technology and Engineering Practice, London, 1997."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,6]],"date-time":"2019-04-06T13:09:34Z","timestamp":1554556174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0025078","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}