{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T18:06:50Z","timestamp":1771870010161,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540566892","type":"print"},{"value":"9783540476313","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56689-9_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:26:57Z","timestamp":1330255617000},"page":"91-125","source":"Crossref","is-referenced-by-count":2,"title":["The Devnet: A Petri net for discrete event simulation"],"prefix":"10.1007","author":[{"given":"John B.","family":"Evans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science 266","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-18086-9_24","volume-title":"Advances in Petri Nets 1987","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Chiola, G. and Fumagalli, A. (1987) \u2018An Accurate Performance Model of CSMA\/CD Bus LAN',in Rozenberg G. (Ed.) Advances in Petri Nets 1987, Lecture Notes in Computer Science 266, Springer-Verlag, Berlin 146\u2013161."},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science 340","first-page":"1","volume-title":"Advances in Petri Nets 1988","author":"M. Baldassari","year":"1988","unstructured":"Baldassari, M. and Bruno, G. (1988) \u2018An Environment for Object-Oriented Conceptual Programming Based on PROT Nets', in Rozenberg, G. (Ed.) Advances in Petri Nets 1988, Lecture Notes in Computer Science 340, Springer-Verlag, Berlin, 1\u201319."},{"key":"5_CR3","first-page":"553","volume":"1","author":"S. Ben Ahmed","year":"1991","unstructured":"Ben Ahmed, S., Moalla, M., Courvoisier, M. and Valette, R. (1991) \u2018Flexible Manufacturing Production System Modelling Using Object Petri Nets and their Analysis', IMACS-IFAC Symposium on Modelling and Control of Technological Systems, Lille, May 7\u201310, Proceedings 1 553\u2013560.","journal-title":"IMACS-IFAC Symposium on Modelling and Control of Technological Systems, Lille, May 7\u201310, Proceedings"},{"key":"5_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-03840-4","volume-title":"Discrete Event Modelling on Simula","author":"G.M. Birtwistle","year":"1979","unstructured":"Birtwistle, G.M. (1979) Discrete Event Modelling on Simula, Macmillan, Basingstoke, UK."},{"key":"5_CR5","volume-title":"Extended Control and Simulation Language \u2014 Computer Aided Programming System","author":"A.T. Clementson","year":"1977","unstructured":"Clementson, A.T. (1977) Extended Control and Simulation Language \u2014 Computer Aided Programming System, Lucas Institute for Engineering Production, University of Birmingham, UK."},{"key":"5_CR6","unstructured":"Colom, J.M., Silva, M. and Villaroel, J.L. (1986) \u2018On Software Implementation of Petri Nets and Coloured Petri Nets Using High-Level Concurrent Languages', in Seventh European Workshop on Application and Theory of Petri Nets, Oxford, UK, 207\u2013241."},{"key":"5_CR7","first-page":"349","volume-title":"Programming Languages","author":"O.-J. Dahl","year":"1968","unstructured":"Dahl, O.-J. (1968) \u2018Discrete Event Simulation Languages', in Genuys, F. (Ed.) Programming Languages, Academic Press, London, 349\u2013395."},{"key":"5_CR8","unstructured":"Drummond, M.E. (1986) A Representation of Action and Belief for Automatic Planning Systems, AIAI-TR-16, Artificial Intelligence Applications Institute, University of Edinburgh."},{"key":"5_CR9","volume-title":"Activity Networks","author":"S.E. Elmaghraby","year":"1977","unstructured":"Elmaghraby, S.E. (1977) Activity Networks, Wiley, New York."},{"key":"5_CR10","unstructured":"Evans, J.B. (1986) \u2018A Characterisation of Discrete-event Simulation Complexity', Proceedings JSST Conference on Recent Advances in Simulation of Complex Systems, July 15\u201317, 1986, Tokyo, 24\u201328."},{"key":"5_CR11","volume-title":"Structures of Discrete Event Simulation: An Introduction to the Engagement Strategy","author":"J.B. Evans","year":"1988","unstructured":"Evans, J.B. (1988) Structures of Discrete Event Simulation: An Introduction to the Engagement Strategy, Ellis Horwood, Chichester, UK."},{"key":"5_CR12","unstructured":"Evans, J.B. (1989) \u2018DEVNET: An Activation Net for Discrete Event Simulation', in Lasker, G.E. (Ed.) Advances in Computer Science, Windsor, Ontario, Canada; also Technical Report TR-88-03, Department of Computer Science, University of Hong Kong."},{"key":"5_CR13","unstructured":"Evans, J.B. (1990) \u2018Towards a Declarative Simulation Language: SIMIAN', International Conference on Systems Management \u201890, Hong Kong, June 11\u201313, Proceedings 343\u2013348."},{"key":"5_CR14","first-page":"669","volume":"1","author":"J.B. Evans","year":"1991","unstructured":"Evans, J.B. (1991) \u2018Description of Designed Systems in SIMIAN', IMACS-IFAC Symposium on Modelling and Control of Technological Systems, Lille, May 7\u201310, Proceedings 1 669\u2013674.","journal-title":"IMACS-IFAC Symposium on Modelling and Control of Technological Systems, Lille, May 7\u201310, Proceedings"},{"key":"5_CR15","unstructured":"Evans, J.B. (1992a) \u2018The Temporal Expressions of SIMIAN', ACM Transactions on Modeling and Simulation, submitted; also Technical Report TR-91-04 of Department of Computer Science, University of Hong Kong."},{"key":"5_CR16","unstructured":"Evans, J.B. (1992b) \u2018PRIMATE: An Executive Program for the Engagement Strategy', ACMTransactions on Modeling and Computer Simulation (in preparation)."},{"key":"5_CR17","unstructured":"Evans, J.B. (1993) Temporal Programming in Simian, to appear."},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science 45","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1007\/3-540-07854-1_232","volume-title":"Mathematical Foundations of Computer Science","author":"H.J. Genrich","year":"1976","unstructured":"Genrich, H.J. and Thieler-Mevissen, G. (1976) \u2018The Calculus of Facts', in Marzurkiewicz, A. (Ed.) Mathematical Foundations of Computer Science, Proceedings of the Fifth Symposium, Gdansk, September 6\u201310, 1976, 588\u2013595. Lecture Notes in Computer Science 45, Springer-Verlag, Berlin."},{"key":"5_CR19","volume-title":"The Application of GPSSV to Discrete System Simulation","author":"G. Gordon","year":"1975","unstructured":"Gordon, G. (1975) The Application of GPSSV to Discrete System Simulation, Prentice.-Hall, Englewood Cliffs, NJ."},{"issue":"8","key":"5_CR20","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/960118.808382","volume":"13","author":"G. Gordon","year":"1978","unstructured":"Gordon, G. (1978) \u2018The Development of the General Purpose Simulation System (GPSS)', ACM Sigplan Notices 13 8 183\u2013198.","journal-title":"ACM Sigplan Notices"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science 340","first-page":"151","volume-title":"Advances in Petri Nets 1988","author":"G. Hartung","year":"1988","unstructured":"Hartung, G. (1988) \u2018Programming a Closely Coupled Multiprocessor System with High Level Petri Nets', in Rozenberg, G. (Ed.) Advances in Petri Nets 1988, Lecture Notes in Computer Science 340, Springer-Verlag, Berlin, 151\u2013174."},{"key":"5_CR22","volume-title":"Constraint Handling in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"van Hentenryck, P. (1989) Constraint Handling in Logic Programming, MIT Press, Cambridge, MA."},{"key":"5_CR23","volume-title":"Simulation: A Problem-Solving Approach","author":"S.V. Hoover","year":"1989","unstructured":"Hoover, S.V. and Perry, R.F. (1989) Simulation: A Problem-Solving Approach, Addison-Wesley, Reading, MA."},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-642-84524-6_7","volume-title":"High-level Petri Nets: Theory and Application","author":"P. Huber","year":"1991","unstructured":"Huber, P., Jensen, K., and Shapiro, R.M. (1991) \u2018Hierarchies in Coloured Petri Nets', in Jensen, K. and Rozenberg, G. (Eds) High-level Petri Nets: Theory and Application, Springer-Verlag, Berlin, 215\u2013243."},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K. (1981) \u2018Coloured Petri Nets and the Invariant Method', Theoretical Computer Science 14 317\u2013336.","journal-title":"Theoretical Computer Science"},{"key":"5_CR26","volume-title":"Elements of Practical Performance Modeling","author":"E.A. MacNair","year":"1985","unstructured":"MacNair, E.A. and Sauer, C.H. (1985) Elements of Practical Performance Modeling, Prentice-Hall, Englewood Cliffs, NJ."},{"issue":"9","key":"5_CR27","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"COM-24","author":"P.M. Merlin","year":"1976","unstructured":"Merlin, P.M. and Farber, D.J. (1976) \u2018Recoverability of Communication Protocols: Implications of a Theoretical Study', IEEE Transactions on Communications COM-24 9 1036\u20131043.","journal-title":"IEEE Transactions on Communications"},{"issue":"9","key":"5_CR28","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M. K. Molloy","year":"1982","unstructured":"Molloy, M. K. (1982) \u2018Performance Analysis Using Stochastic Petri Nets', JEEE Transactions on Computers C-31 9 913\u2013917.","journal-title":"JEEE Transactions on Computers"},{"issue":"4","key":"5_CR29","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. (1989) \u2018Petri Nets: Properties, Analysis and Applications', Proceedings of the IEEE, 77 4 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"5_CR30","first-page":"287","volume-title":"System Modelling and Simulation","author":"P.J. Nolan","year":"1989","unstructured":"Nolan, P.J., Lane, G.M. and Fegan, J.M. (1989) \u2018A Lisp-based Stochastic Petri Net Simulation Environment', in Tzafestas, S., Eisinberg, A. and Carotenuto, L. (Eds) System Modelling and Simulation, Elsevier Science, New York, 287\u2013296."},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science 524","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/3-540-53863-1_32","volume-title":"Advances in Petri Nets 1991","author":"G.R. Nutt","year":"1991","unstructured":"Nutt, G.R. (1991) \u2018A Simulation System Architecture for Graph Models', in Rozenberg, G. (Ed.) Advances in Petri Nets 1991, Lecture Notes in Computer Science 524, Springer-Verlag, Berlin, 417\u2013435."},{"issue":"2","key":"5_CR32","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/2786.2792","volume":"28","author":"C.M. Overstreet","year":"1985","unstructured":"Overstreet, C.M. and Nance, R.E. (1985) \u2018A Specification Language to Assist in Analysis of Discrete Event Simulation Models', Comm. ACM 28 2 190\u2013201.","journal-title":"Comm. ACM"},{"issue":"1","key":"5_CR33","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/0020-0190(80)90032-0","volume":"11","author":"J.L. Peterson","year":"1980","unstructured":"Peterson, J.L. (1980) \u2018A Note on Colored Petri Nets', Information Processing Letters 11 1 40\u201343.","journal-title":"Information Processing Letters"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science 255","first-page":"500","volume-title":"Advances in Petri Nets 1986, II Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"C.A. Petri","year":"1987","unstructured":"Petri, C.A. (1987) \u2018\u201cForgotten Topics\u201d of Net Theory', in Brauer, W., Reisig, W. and Rozenberg, G. (Eds) Advances in Petri Nets 1986, II Petri Nets: Applications and Relationships to Other Models of Concurrency, Lecture Notes in Computer Science 255, Springer-Verlag, Berlin, 500\u2013514."},{"key":"5_CR35","volume-title":"Using Simulation to Solve Problems","author":"T.G. Poole","year":"1977","unstructured":"Poole, T.G. and Szymankiewicz, J.Z. (1977) Using Simulation to Solve Problems, McGraw-Hill, London."},{"issue":"1","key":"5_CR36","first-page":"1","volume":"8","author":"R.J. Pooley","year":"1991","unstructured":"Pooley, R.J. (1991) \u2018Towards a Standard for Hierachical Process Oriented Discrete Event Simulation Diagrams'; \u2018Part I: A Comparison of Existing Approaches', \u2018Part II The Suggested Approach to Flat Models', (with Hughes, P.H.) \u2018Part III: Aggregation and Hierarchical Modelling', Transactions of the Society for Computer Simulation, 8 1 1\u201320, 21\u201331, 33\u201341.","journal-title":"Transactions of the Society for Computer Simulation"},{"key":"5_CR37","volume-title":"SLAM II: Network Models for Decision Support","author":"A.A.B. Pritsker","year":"1989","unstructured":"Pritsker, A.A.B., Sigal, C.E. and Hammesfahr, R.D.J. (1989) SLAM II: Network Models for Decision Support, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"5_CR38","volume-title":"Project MAC TR-120","author":"C. Ramchandani","year":"1974","unstructured":"Ramchandani, C. (1974) Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Project MAC TR-120 Massachusetts Institute of Technology, Cambridge, MA."},{"issue":"11","key":"5_CR39","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1145\/182.358460","volume":"26","author":"L. Schruben","year":"1983","unstructured":"Schruben, L. (1983) \u2018Simulation Modeling with Event Graphs', Comm. ACM 26 11 957\u2013963.","journal-title":"Comm. ACM"},{"key":"5_CR40","unstructured":"Sibertin-Blanc, C. (1985) \u2018High-level Petri Nets with Data-structures', Sixth European Workshop on Application and Theory of Petri Nets, Espoo, Finland."},{"key":"5_CR41","first-page":"77","volume-title":"Measuring, Modeling, and Evaluating Computer Systems","author":"J. Sifakis","year":"1977","unstructured":"Sifakis, J. (1977) \u2018Petri Nets for Performance Evaluation', in Beilner, H. and Gelenbe, E. (Eds) Measuring, Modeling, and Evaluating Computer Systems, Proceedings of the 3rd Symposium, IFIP Working Group 7.3, North-Holland, New York, 77\u201393."},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science 424","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-52494-0_38","volume-title":"Advances in Petri Nets 1989","author":"M. Silva","year":"1990","unstructured":"Silva, M. and Valette, R. (1990) \u2018Petri Nets and Flexible Manufacturing', in Rozenberg, G. (Ed.) Advances in Petri Nets 1989, Lecture Notes in Computer Science 424, Springer-Verlag, Berlin, 374\u2013417."},{"key":"5_CR43","volume-title":"Simulation Modeling and SIMNET","author":"H.A. Taha","year":"1988","unstructured":"Taha, H.A. (1988) Simulation Modeling and SIMNET, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"5_CR44","unstructured":"Tate, A.R., Mathewson, S.C. and Downes, V.A. (1983) An Interactive Program Generator for Simula, Imperial College of Science and Technology, Department of Computing, Research Report DoC 83\/23, London."},{"key":"5_CR45","volume-title":"Proc. IFORS Conference","author":"K.D. Tocher","year":"1960","unstructured":"Tocher, K.D. and Owen, D.G. (1960) \u2018The Automatic Programming of Simulations', Proc. IFORS Conference, IEEE, New York."},{"issue":"6","key":"5_CR46","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1177\/003754978103700604","volume":"37","author":"A.A. T\u00f6rn","year":"1981","unstructured":"T\u00f6rn A.A. (1981) \u2018Simulation Graphs: A General Tool for Modeling Simulation Designs', Simulation 37 6 187\u2013194.","journal-title":"Simulation"},{"issue":"2","key":"5_CR47","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1177\/003754978504500203","volume":"45","author":"A.A. T\u00f6rn","year":"1985","unstructured":"T\u00f6rn A.A. (1985) \u2018Simulation Nets, a Simulation Modeling and Validation Tool', Simulation 45 2 71\u201375.","journal-title":"Simulation"},{"key":"5_CR48","first-page":"283","volume-title":"Artificial Intelligence and Expert Systems Languages In Modelling and Simulation","author":"A.A. T\u00f6rn","year":"1988","unstructured":"T\u00f6rn A.A. (1988) \u2018Systems Modelling and Analysis Using Simulation Nets', in Kulikowski, C.A., et al., (Eds) Artificial Intelligence and Expert Systems Languages In Modelling and Simulation, Elsevier Science North-Holland, New York, 283\u2013288."},{"key":"5_CR49","series-title":"Lecture Notes in Computer Science 524","first-page":"298","volume-title":"Advances in Petri Nets 1991","author":"R. Valette","year":"1991","unstructured":"Valette, R. and Bako, B. (1991) \u2018Software Implementation of Petri Nets and Compilation of Rule-Based Systems', in Rozenberg, G. (Ed.) Advances in Petri Nets 1991, Lecture Notes in Computer Science 524, Springer-Verlag, Berlin, 298\u2013316."},{"key":"5_CR50","doi-asserted-by":"crossref","unstructured":"Vaucher, J.G. (1973) \u2018A \u201cWait Until\u201d Algorithm for General Purpose Simulation Languages', Proc. of the Winter Computer Simulation Conference, 77\u201383.","DOI":"10.1145\/800293.811565"},{"key":"5_CR51","first-page":"8","volume":"11","author":"P. Wegner","year":"1990","unstructured":"Wegner, P. (1990) \u2018Concepts and Paradigms of Object-Oriented Programming', OOPS Messenger 11 8\u201387.","journal-title":"OOPS Messenger"},{"key":"5_CR52","volume-title":"A Management Guide to PERTICPM","author":"J.D. Wiest","year":"1977","unstructured":"Wiest, J.D. and Levy, F.K. (1977) A Management Guide to PERTICPM, Second Edition, Prentice-Hall, Englewood Cliffs, NJ.","edition":"Second Edition"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56689-9_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:11Z","timestamp":1619571251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56689-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566892","9783540476313"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/3-540-56689-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}