{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T06:33:36Z","timestamp":1721025216095},"reference-count":67,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"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":[[1998,11]]},"DOI":"10.1016\/s0164-1212(98)10028-6","type":"journal-article","created":{"date-parts":[[2003,4,24]],"date-time":"2003-04-24T22:46:38Z","timestamp":1051224398000},"page":"133-160","source":"Crossref","is-referenced-by-count":17,"title":["Comparative study and categorization of high-level petri nets"],"prefix":"10.1016","volume":"43","author":[{"given":"Vasilis C","family":"Gerogiannis","sequence":"first","affiliation":[]},{"given":"Achilles D","family":"Kameas","sequence":"additional","affiliation":[]},{"given":"Panayotis E","family":"Pintelas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(98)10028-6_BIB1","doi-asserted-by":"crossref","unstructured":"Van der Aalst, W.M.P., 1993. Interval timed coloured petri nets and their analysis. In: Marsan, M.A. (Ed.), Proceedings of the 14th International Conference on Application and Theory of Petri Nets 1993, Chicago, IL. Lecture Notes in Computer Science, vol. 691, Springer, Berlin, pp. 453\u2013472","DOI":"10.1007\/3-540-56863-8_61"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB2","doi-asserted-by":"crossref","unstructured":"Agerwala, T., 1974. Complete model for representing the coordination of asynchronous processes. Comp. Res. Rep. vol. 32, John Hopkins University, Baltimore","DOI":"10.2172\/4242290"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB3","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., 1992. Logics and models of real-time: A survey. In: De Bakker, J.W., et al. (Eds.), Real-Time: Theory in Practice. Lecture Notes in Computer Science, vol. 600, Springer, Berlin, pp. 74\u2013106","DOI":"10.1007\/BFb0031988"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB4","doi-asserted-by":"crossref","unstructured":"Baldassari, M., Bruno, G., 1998. An environment for object-oriented conceptual programming based on PROT nets. In: G. Rozenberg (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 340, Springer, Berlin, pp. 1\u201319","DOI":"10.1007\/3-540-50580-6_21"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0096-0551(91)90016-3","article-title":"PROTOB: An object-oriented methodology for developing discrete event dynamic systems","volume":"16","author":"Baldassari","year":"1991","journal-title":"Comp. Lang."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB6","unstructured":"Bastide, R., Palanque, P., 1990. Petri net objects for the design, validation and prototyping of user-driven interfaces. CHI-INTERACT'90, pp. 625\u2013631"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB7","doi-asserted-by":"crossref","unstructured":"Battiston, E., De Cindio, F., Mauri, G., 1988. OBJSA Nets: A class of high-level nets having objects as domains. In: Rozenberg, G. (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 340, Springer, Berlin, pp. 20\u201343","DOI":"10.1007\/3-540-50580-6_22"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB8","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using time petri nets","volume":"\u201317","author":"Berthomieu","year":"1991","journal-title":"IEEE Trans. Software Engrg. SE"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB9","doi-asserted-by":"crossref","unstructured":"Best, E., 1987. Structure theory of petri nets: The free choice hiatus. In: Brauer et al., (Eds.), Petri Nets: Central Models and their Properties. Lecture Notes in Computer Science, vol. 254, Springer, Berlin, pp. 168\u2013206","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB10","unstructured":"Billington, J., 1988. Extending Coloured Petri Nets. Ph.D. Thesis, Technical Paper, vol. 148, University of Cambridge, Cambridge"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB11","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","article-title":"PROTEAN: A high-level petri net tool for the specification and verification of communication protocols","volume":"\u201314","author":"Billington","year":"1988","journal-title":"IEEE Trans. Software Engrg. SE"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","article-title":"Object oriented development","volume":"\u201312","author":"Booch","year":"1986","journal-title":"IEEE Trans. Software Engrg. SE"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB13","doi-asserted-by":"crossref","unstructured":"Bucholz, P., 1994. Hierarchical high level petri nets for complex systems analysis. In: Valette, R., (Ed.), Proceedings of the 15th International Conference on Application and Theory of Petri Nets 1994, Zaragosa. Lecture Notes in Computer Science, vol. 815, Springer, Berlin, pp. 119\u2013198","DOI":"10.1007\/3-540-58152-9_8"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB14","doi-asserted-by":"crossref","unstructured":"Cao, T., Sanderson, A.C., 1993. Variable reasoning and analysis about uncertainty with fuzzy petri nets. In: Marsan, M.A. (Ed.), Proceedings of the 14th International Conference, Application and Theory of Petri Nets 1993. Chicago, IL. Lecture Notes in Computer Science, vol. 691, Springer, Berlin, pp. 126\u2013145","DOI":"10.1007\/3-540-56863-8_44"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB15","doi-asserted-by":"crossref","unstructured":"Christensen, S.A., Hansen, N.D., 1993. Coloured petri nets extended with place capacities, test arcs and inhibitor arcs. In: Marsan, M.A. (Ed.), Proceedings of the 14th International Conference, Application and Theory of Petri Nets 1993. Chicago, IL. Lecture Notes in Computer Science, vol. 691, Springer, Berlin, pp. 186\u2013205","DOI":"10.1007\/3-540-56863-8_47"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB16","doi-asserted-by":"crossref","unstructured":"Christensen, S.A., Hansen, N.D., 1994. Coloured petri nets extended with channels for synchronous communication. In: Valette, R. (Ed.), Proceedings of the 15th International Conference on Application and Theory of Petri Nets 1994, Zaragosa. Lecture Notes in Computer Science, vol. 815, Springer, Berlin, pp. 159\u2013177","DOI":"10.1007\/3-540-58152-9_10"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB17","doi-asserted-by":"crossref","unstructured":"Ciardo, G., 1994. Petri nets with marking-dependent arc cardinality: Properties and analysis, In: Valette, R. (Ed.), Proceedings of the 15th International Conference on Application and Theory of Petri Nets 1994, Zaragosa. Lecture Notes in Computer Science, vol. 815, Springer, Berlin, pp. 179\u2013198","DOI":"10.1007\/3-540-58152-9_11"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB18","doi-asserted-by":"crossref","unstructured":"Degano, P., Gorrieri, R., Marchetti, S., 1988. An exercise in concurrency: A CSP process as a condition\/event system. In: G. Rozenberg, (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 340, Springer, Berlin, pp. 85\u2013105","DOI":"10.1007\/3-540-50580-6_25"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB19","doi-asserted-by":"crossref","unstructured":"Dietz, C., Schreiber, G., 1994. A term representation of P\/T systems. In: Proceedings of the 15th International Conference, Valette, R., (Ed.), Application and Theory of Petri Nets 1994. Zaragosa. Lecture Notes in Computer Science, vol. 815, Springer, Berlin, pp. 239\u2013257","DOI":"10.1007\/3-540-58152-9_14"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB20","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF00268843","article-title":"Fifo nets without order deadlock","volume":"25","author":"Finkel","year":"1988","journal-title":"Acta Inform."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB21","doi-asserted-by":"crossref","unstructured":"Finkel, A., Rosier, L., 1988. A survey on the decidability questions for classes of fifo nets. In: Rozenberg, G., (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 340, Springer, Berlin, pp. 106\u2013132","DOI":"10.1007\/3-540-50580-6_26"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0020-0190(91)90114-W","article-title":"A fuzzy petri net for knowledge representation and reasoning","volume":"39","author":"Garg","year":"1991","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB23","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System modelling with high-level petri nets","volume":"13","author":"Genrich","year":"1981","journal-title":"Theoret. Comp. Sci."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB24","unstructured":"Gerogiannis, V.C., Kameas, A.D., Diplas, C., Pintelas, P.E., 1995. Petri Nets and High-Level Petri Nets: Formalism, Properties, Analysis and Applications, Technical Paper, TR-95-01, Department of Mathematics, Sector of Computational Mathematics and Informatics, University of Patras, Patras, Greece"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB25","unstructured":"Gerogiannis, V.C., Kameas, A.D., Pintelas, P., 1996. On the integration of high-level timed petri nets with schedulability analysis methods. In: Proceedings of the Third Hellenic European Research Conference on Mathematics and Informatics (HERMIS'96), Athens, Greece, pp. 688\u2013697"},{"issue":"5","key":"10.1016\/S0164-1212(98)10028-6_BIB26","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","article-title":"Seven myths of formal methods","volume":"7","author":"Hall","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB27","doi-asserted-by":"crossref","unstructured":"Hartung, G., 1988. Programming a closely coupled multiprocessor system with high level petri nets. In: G. Rozenberg, (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 340, Springer, Berlin, pp. 154\u2013174","DOI":"10.1007\/3-540-50580-6_28"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB28","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/32.67588","article-title":"Modeling and on-line scheduling of flexible manufacturing systems using stochastic petri nets","volume":"\u201317","author":"Hatono","year":"1991","journal-title":"IEEE Trans. Software Engrg. SE"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB29","unstructured":"Heitmeyer, C., Jeffords, R., Labaw, B., 1995. Comparing different approaches for specifying and verifying real-time systems. In: Proceedings of the Tenth IEEE Workshop on Real-Time Operating Systems and Software, International Conference on Reliability"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB30","doi-asserted-by":"crossref","unstructured":"Heuser, C.A., Richter, G., 1992. Constructs for modeling information systems with petri nets. In: Jensen, K., (Ed.), Proceedings of the 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield. Lecture Notes in Computer Science, vol. 616, Springer, Berlin","DOI":"10.1007\/3-540-55676-1_13"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB31","unstructured":"Hinchey, M.G., Bowen, J.P. (Eds.), 1995. Applications of Formal Methods, Prentice-Hall International Series in Computer Science, Hemel Hempstead, UK"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB32","unstructured":"Hoare, C.A.R., 1985. Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB33","doi-asserted-by":"crossref","unstructured":"Huber, P., Jensen, K., Shapiro, R.M., 1990. Hierarchies in coloured petri nets. In: Rozenberg, G., (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 483, Springer, Berlin, pp. 313\u2013341","DOI":"10.1007\/3-540-53863-1_30"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB34","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","article-title":"Coloured petri nets and the invariant method","volume":"14","author":"Jensen","year":"1981","journal-title":"Theoret. Comp. Sci."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB35","doi-asserted-by":"crossref","unstructured":"Jensen, K., 1990. Coloured petri nets: A high level language for system design and analysis. In: G. Rozenberg, (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science, vol. 483, Springer, Berlin, pp. 342\u2013416","DOI":"10.1007\/3-540-53863-1_31"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB36","unstructured":"Jensen K., 1995. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Brauer, W., et al. (Eds.), vols. 1 and 2, Springer, Berlin"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB37","doi-asserted-by":"crossref","unstructured":"Kameas, A.D., Gerogiannis, V.C., Diplas, C., Pintelas, P.E., 1994. Encapsulating multiple perspectives in interaction specification. In: Proceedings of the 20th EUROMICRO Conference, System Architecture and Integration. IEEE Computer Soc. Press, Silver Spring, MD, pp. 463\u2013469","DOI":"10.1109\/EURMIC.1994.390369"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB38","unstructured":"Kameas, A.D., 1995. A Formal Model for the Specification of Interaction and the Design of Interactive Applications. Ph.D. Thesis, Department of Computer Engineering, University of Patras, Greece"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB39","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1109\/21.135693","article-title":"Modular transformation methods for generalized petri nets and their application to automated manufacturing systems","volume":"21","author":"Koh","year":"1991","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB40","doi-asserted-by":"crossref","unstructured":"Kotov, V.E., 1979. An algebra for parallelism based on petri nets. In: Proceedings of the MFCS 79. Lecture Notes in Computer Science, vol. 64, Springer, Berlin, pp. 39\u201355","DOI":"10.1007\/3-540-08921-7_55"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB41","unstructured":"Kramer, B., 1989. Syntax and Semantics of SEGRAS \u2013 A Specification Language for Distributed Systems. Oldenbourg, Munchen, Wien"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB42","doi-asserted-by":"crossref","unstructured":"Lakos, C., Christensen, S.A., 1994. A general systematic approach to arc extensions for coloured petri nets. In: R. Valette (Ed.), 15th International Conference on Application and Theory of Petri Nets, Zaragosa. LNCS vol. 815, Springer, Berlin, pp. 338\u2013357","DOI":"10.1007\/3-540-58152-9_19"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB43","doi-asserted-by":"crossref","unstructured":"Lakos, C., Keen, C.D., 1991. Modeling Layered Protocols in LOOPN. In: Fourth International Workshop on Petri Nets and Performance Models. Melbourne","DOI":"10.1109\/PNPM.1991.238777"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB44","unstructured":"Levi, S.T., Agrawala, A.K., 1990. Real-Time System Design, McGraw-Hill, New York"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB45","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/21.87067","article-title":"Fuzzy petri nets for rule-based decision making","volume":"18","author":"Looney","year":"1988","journal-title":"IEEE Trans. Systems Man and Cybernetics"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB46","doi-asserted-by":"crossref","unstructured":"Marsan, M.A., Balbo, G., Conte, G., 1984. A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM Trans. Computer Systems 2, 93-122","DOI":"10.1145\/190.191"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB47","unstructured":"Milner, R., 1989. Communication and concurrency. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB48","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB49","doi-asserted-by":"crossref","unstructured":"Murata, T., Shenker, B., Shatz, S.M., 1989. Detection of Ada static deadlocks using petri net invariants. IEEE Trans. Software Engrg. 15, 314-325","DOI":"10.1109\/32.21759"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB50","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0164-1212(92)90045-L","article-title":"Formal Methods for the Specification and Design of Real-Time Safety Critical Systems","volume":"18","author":"Ostroff","year":"1992","journal-title":"J. Systems and Software"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB51","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1109\/32.126774","article-title":"Specification and Analysis of Parallel\/Distributed Software and Systems by Petri Nets With Transition Enabling Functions","volume":"18","author":"Papelis","year":"1992","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB52","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/32.21746","article-title":"Proof procedure and answer extraction in petri net model of logic programs","volume":"15","author":"Peterka","year":"1989","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/S0164-1212(98)10028-6_BIB53","unstructured":"Peterson, J.L., 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB54","unstructured":"Petri, C.A., 1962. Kommunikation mit Automaten. Ph.D. Thesis, Institut fur Instrumentelle Mathematik, Bonn"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB55","unstructured":"Ramchandani, C., 1974. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report No. 120, Massachusetts Institute of Technology, MA"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB56","doi-asserted-by":"crossref","unstructured":"Reisig, W., 1985. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, New York","DOI":"10.1007\/978-3-642-69968-9"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB57","doi-asserted-by":"crossref","unstructured":"Reisig, W., 1992. A Primer in Petri Net Design. Springer, New York","DOI":"10.1007\/978-3-642-75329-9"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB58","doi-asserted-by":"crossref","unstructured":"Saiedian, H., 1996. An invitation to formal methods, a Round Table (special Issue). IEEE Computer 29 (4), 16-30","DOI":"10.1109\/MC.1996.488298"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB59","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0165-6074(91)90332-N","article-title":"A comparison of temporal petri nets techniques in the specification and design of hard real-time systems","volume":"32","author":"Sagoo","year":"1991","journal-title":"Microprocessing and Microprogramming"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB60","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0164-1212(91)90076-I","article-title":"Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets","volume":"15","author":"Schmidt","year":"1991","journal-title":"J. Systems and Software"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB61","doi-asserted-by":"crossref","unstructured":"Sibertin-Blank, C., 1993. A client-Server Protocol for the Composition of Petri Nets, in: Marsan, M.A. (Ed.), 14th International Conference on Application and Theory of Petri Nets 1993, Chicago, IL. Lecture Notes in Computer Science, vol. 691, Springer, pp. 453\u2013472","DOI":"10.1007\/3-540-56863-8_57"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB62","doi-asserted-by":"crossref","unstructured":"Sibertin-Blank, C., 1994. Cooperative Nets, In: Valette, R. (Ed.), 15th International Conference on Application and Theory of Petri Nets, Zaragosa, Lecture Notes in Computer Science, vol. 815, Springer, pp. 377\u2013396","DOI":"10.1007\/3-540-58152-9_26"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB63","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0020-0190(92)90076-8","article-title":"Place\/Transition Nets with Debit Arcs","volume":"41","author":"Stotts","year":"1992","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB64","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/21.47812","article-title":"On the Hierarchical Modeling Analysis and Simulation of Flexible Manufacturing Systems with Extended Petri Nets","volume":"20","author":"Valavanis","year":"1990","journal-title":"IEEE Trans. Systems, Man and Cybernetics"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB65","doi-asserted-by":"crossref","unstructured":"Valmari, A., 1993. Compositional State Space Generation, in: Rozenberg, G. (Ed.), Advances in Petri Nets. Lecture Notes in Computer Science vol. 674, Springer, pp. 427\u2013457","DOI":"10.1007\/3-540-56689-9_54"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB66","doi-asserted-by":"crossref","unstructured":"Valmari, A., 1994. Compositional Analysis with Place-Bordered Subnets, In: Valette, R. (Ed.), 15th International Conference on Application and Theory of Petri Nets, Zaragosa. Lecture Notes in Computer Science, vol. 815, Springer, pp. 531\u2013547","DOI":"10.1007\/3-540-58152-9_29"},{"key":"10.1016\/S0164-1212(98)10028-6_BIB67","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0164-1212(92)90094-Z","article-title":"A Practical Assessment of Formal Specification Approaches for Data Abstractions","volume":"17","author":"Ventouris","year":"1992","journal-title":"J. Systems and Software"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100286?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100286?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T08:15:59Z","timestamp":1578471359000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121298100286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,11]]},"references-count":67,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,11]]}},"alternative-id":["S0164121298100286"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(98)10028-6","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,11]]}}}