{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:08:47Z","timestamp":1648980527546},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540631392","type":"print"},{"value":"9783540691877","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:08:38Z","timestamp":1330297718000},"page":"23-41","source":"Crossref","is-referenced-by-count":4,"title":["Some issues about Petri net application to manufacturing and process supervisory control"],"prefix":"10.1007","author":[{"given":"Robert","family":"Valette","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"3_CR1","unstructured":"H. Alla: Modelling and simulation of event driven systems by Petri nets. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995."},{"key":"3_CR2","first-page":"314","volume-title":"Batch process modelling using Petri nets","author":"D. Andreu","year":"1995","unstructured":"D. Andreu, J.-C. Pascal, H. Pingaud, and R. Valette: Batch process modelling using Petri nets, pp 314\u2013319, San Antonio, USA, October 1995. IEEE-SMC."},{"key":"3_CR3","unstructured":"D. Andreu, J.-C. Pascal, and R. Valette: Interaction of discrete and continous parts of a batch process control system. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995."},{"key":"3_CR4","unstructured":"D. Andreu, J.C. Pascal, R. Valette: Events as a key of a batch process control system. IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 297\u2013302, Lille, France, July 1996."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"C. Anglano, L. Portinale: B-W analysis: a backward reachability analysis for diagnostic problem solving suitable to parallel implementation, Application and Theory of Petri Nets 1994 Lecture Notes in Computer Science 815, Springer Verlag 1994, p. 39\u201358","DOI":"10.1007\/3-540-58152-9_4"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"N. Audry and F. Prunet: Comparison of extended Petri nets for high throughput production lines accurate modelling and simulation. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995.","DOI":"10.1109\/ETFA.1995.496753"},{"key":"3_CR7","first-page":"163","volume-title":"LNCS 1030","author":"M. Brielman","year":"1995","unstructured":"M. Brielman Modelling differential equations by basic information technology means Proceedings of the Fifth International Conference on Computer Aided Systems theory and technology, EUROCAST'95, Innsbruck, May 1995, Springer Verlag LNCS 1030, p. 163\u2013174"},{"key":"3_CR8","unstructured":"C. Brown: Relating Petri Nets to Formulas of Linear Logic, Edinburgh Tech. Report ECS-LFCS-89-87, June, 1989."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"J. Cardoso, R. Valette, D. Dubois: Petri nets with uncertain markings. In Lecture Notes in Computer Science \u201cAdvances in Petri nets 1990\u201d, Vol. 483, Ed. G. Rozenberg, Springer Verlag, 1991, pp. 64\u201378.","DOI":"10.1007\/3-540-53863-1_21"},{"key":"3_CR10","first-page":"258","volume":"2","author":"J. Cardoso","year":"1993","unstructured":"J. Cardoso, R. Valette, B. Pradin-Ch\u00e9zalviel: Fuzzy Petri nets and linear logic, 1993 IEEE International Conference on System, Man, and Cybernetics, Le Touquet, Oct. 1993, Vol. 2, pp. 258\u2013263.","journal-title":"1993 IEEE International Conference on System, Man, and Cybernetics, Le Touquet"},{"key":"3_CR11","first-page":"1269","volume":"2","author":"J. Cardoso","year":"1994","unstructured":"J. Cardoso, R. Valette, B. Pradin-Ch\u00e9zalviel: Linear logic for imprecise firing in object Petri nets, 10 th International Conference IPMU, Paris, Jul. 1994, Vol. 2, pp. 1269\u20131274.","journal-title":"10th International Conference IPMU, Paris"},{"key":"3_CR12","first-page":"443","volume":"J","author":"J. Cardoso","year":"1996","unstructured":"J. Cardoso, R. Valette, D. Dubois: Fuzzy Petri net: an overview, 13th IFAC World Congress, San Francisco USA, 30 June\u20135 July 1996, Volume J, p. 443\u2013448","journal-title":"13th IFAC World Congress, San Francisco USA"},{"key":"3_CR13","unstructured":"R. Champagnat, P. Esteban, H. Pingaud, and R. Valette: Petri net based modeling of hybrid systems. In ASI'96, pp 53\u201360, Toulouse, France, June 1996."},{"key":"3_CR14","first-page":"320","volume-title":"Combined simulation of hybrid processes","author":"B. Daubas","year":"1994","unstructured":"B. Daubas, A. Pag\u00e8s, and H. Pingaud: Combined simulation of hybrid processes, pp 320\u2013325, San Antonio, USA, October 1994. IEEE-SMC."},{"key":"3_CR15","unstructured":"R. David and H. Alla: Continuous Petri nets. In 8 th European Workshop on Application and Theory of Petri Nets, pp 275\u2013294, Zaragoza, Spain, June 1987."},{"key":"3_CR16","first-page":"607","volume-title":"Batches Petri nets","author":"I. Demongodin","year":"1993","unstructured":"I. Demongodin, N. Audry, and F. Prunet: Batches Petri nets, pp 607\u2013617, Le Touquet, France, October 1993. IEEE-SMC."},{"key":"3_CR17","unstructured":"I. Demongodin, N.T. Koussoulas: Modeling dynamic systems through Petri nets, IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 279\u2013284, Lille, France, July 1996."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"U. Engberg, G. Winskel: Petri nets as models of Linear Logic, CAAP'90, A. Arnold Ed., LNCS 431, Springer-Verlag, 1990, pp. 147\u2013161.","DOI":"10.1007\/3-540-52590-4_46"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"J.M. Flaus: Hybrid flow nets for batch process modelling IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, pp. 273\u2013278, Lille, France, July 1996.","DOI":"10.1049\/ic:19961368"},{"key":"3_CR20","first-page":"278","volume-title":"Application an Theory of Petri Nets, volume 815","author":"H. J. Genrich","year":"1994","unstructured":"H. J. Genrich, H.-M. Hanisch, and K. W\u00f6llhaf: Verification of recipe-based control procedures by means of predicate\/transition nets. In R. Valette, editor, Application an Theory of Petri Nets, volume 815, pp 278\u2013297, Zaragoza, Spain, June 1994 Springer-Verlag."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"J.Y. Girard: Linear Logic, Theoretical Computer Science, n\u221850, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"3_CR22","first-page":"74","volume":"n\u2218 150","author":"J.Y. Girard","year":"1990","unstructured":"J.Y. Girard: La logique lin\u00e9aire, Pour la Science, n\u2218 150, Apr. 1990, pp. 74\u201385.","journal-title":"Pour la Science"},{"key":"3_CR23","first-page":"193","volume":"8","author":"J.Y. Girard","year":"1995","unstructured":"J.Y. Girard: Linear Logic: A Survey, Cahiers du centre de logique, vol. 8, 1995, pp. 193\u2013255.","journal-title":"Cahiers du centre de logique"},{"key":"3_CR24","first-page":"49","volume":"1","author":"F. Girault","year":"1995","unstructured":"F. Girault, B. Pradin-Ch\u00e9zalviel, L.A. K\u00fcnzle, R. Valette: Linear logic as a tool for reasoning on a Petri net model, INRIA\/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, Paris 10\u201313 Oct. 1995, p. 49\u201357 (Vol 1).","journal-title":"INRIA\/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, Paris"},{"key":"3_CR25","first-page":"285","volume-title":"Hybrid industrial dynamical system supervision via hybrid continuous causal Petri nets (hc2pns)","author":"M.M. Gomaa","year":"1996","unstructured":"M.M. Gomaa and S. Gentil: Hybrid industrial dynamical system supervision via hybrid continuous causal Petri nets (hc2pns). In P. Borne, J.C. Gentina, E. Craye, and S. El Khattabi, editors, CESA '96: Symposium on Discrete Events and Manufacturing Systems, pp 285\u2013290, Lille, France, July 1996. IEEE-SMC."},{"key":"3_CR26","unstructured":"C. Gunter, V. Gehlot: Nets as tensor theories, 10 th International Conference on Application and Theory of Petri nets, Bonn, Germany, 1989."},{"key":"3_CR27","first-page":"282","volume-title":"Volume LNCS 691","author":"H.-M. Hanisch","year":"1993","unstructured":"H.-M. Hanisch: Analysis of place\/transition nets with timed arcs and its application to batch process control. In International Conference on Theory and Application of Petri Nets, Volume LNCS 691, pp 282\u2013299, Chicago, USA, June 1993. Springer-Verlag."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"H.-M. Hanisch: On the use of Petri nets for design, verification and optimization of control procedures for batch processes. In IEEE International Conference on Systems, Man and Cybernetics, pp 326\u2013330, San Antonio, USA, October 1994.","DOI":"10.1109\/ICSMC.1994.399859"},{"key":"3_CR29","unstructured":"H.M. Hanisch, S. Fleck: A resource allocation scheme for flexible batch plants based on high-level Petri nets. IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 303\u2013308, Lille, France, July 1996."},{"key":"3_CR30","unstructured":"C. Johnsson, K.E. Arzen High-level Grafcet and batch control In ADPM'94 Automatisation des processus mixtes: les syste'mes dynamiques hybrides, Bruxelles, November 1994, Ibra editor, p.255\u2013263."},{"key":"3_CR31","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"n\u2218 59","author":"Y. Lafont","year":"1988","unstructured":"Y. Lafont: The Linear abstract machine, Theoretical Computer Science, n\u2218 59, 1988, pp. 157\u2013180.","journal-title":"Theoretical Computer Science"},{"key":"3_CR32","unstructured":"C. Lansade, P. Tayrac: Dossier final phase 1-Projet ANVAR Simulation Mixte, Ref. IXI\/PAU\/97\/TLS89, January 1997."},{"key":"3_CR33","unstructured":"J. Le Bail, H. Alla, and R. David: Hybrid Petri net. In European Control Conference, Grenoble, France, July 1991."},{"key":"3_CR34","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-57318-6_33","volume":"736","author":"M. Lemmon","year":"1993","unstructured":"M. Lemmon, J.A. Stiver, P.J. Antsaklis Event identification and intelligent hybrid control Lecture Notes in Computer Science, Vol. 736, p. 268\u2013296, 1993.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"J. Lilius: High-level Nets and Linear Logic, 13 th International Conference on Application and Theory of Petri nets, Sheffield, England, 1992.","DOI":"10.1007\/3-540-55676-1_18"},{"issue":"n\u22182","key":"3_CR36","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"2","author":"M. Mart\u00ed-Oliet","year":"1991","unstructured":"M. Mart\u00ed-Oliet and J. Meseguer: From Petri Nets to Linear Logic Through Categories: A Survey, International Journal of Foundation of Computer Science, vol. 2, n\u22182, 1991, pp. 297\u2013399.","journal-title":"International Journal of Foundation of Computer Science"},{"key":"3_CR37","unstructured":"Miguel Menasche: \u201cAnalyse des r\u00e9seaux de Petri temporis\u00e9s et application aux syst\u00e8mes distribu\u00e9s\u201d, Th\u00e8se de Doctorat de l'Universit\u00e9 Paul Sabatier, 1982, Toulouse, France, Rapport LAAS n. 824."},{"issue":"n\u22184","key":"3_CR38","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/32.4671","volume":"14","author":"T. Murata","year":"1988","unstructured":"T. Murata, D. Zhang: A Predicate-Transition net model for Parallel Interpretation of Logic Programs, IEEE Transaction on Software Engineering, Vol. 14, n\u22184, Apr. 1988, pp. 481\u2013497.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"JC. Pascal, R. Valette, D. Andreu: Fuzzy sequential control based on Petri nets, ETFA'92 IEEE International Workshop on Emerging Technologies and Factory Automation, Melbourne, Australia, August 11\u201314, 1992, p.140\u2013145.","DOI":"10.1109\/ETFA.1992.683242"},{"key":"3_CR40","unstructured":"A. Pag\u00e8s and H. Pingaud: An hybrid process model based on Petri nets applied to short term scheduling of batch-semi continuous plants. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995."},{"issue":"N.9","key":"3_CR41","first-page":"1421","volume":"30","author":"P. Peleties","year":"1994","unstructured":"P. Peleties, R. Decarlo Analysis of a hybrid system using symbolic dynamics and Petri nets Automatica, Vol 30, N.9, p. 1421\u20131427, 1994.","journal-title":"Analysis of a hybrid system using symbolic dynamics and Petri nets Automatica"},{"issue":"n\u22182","key":"3_CR42","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G. Peterka","year":"1989","unstructured":"G. Peterka, T. Murata: Proof procedure and answer extraction in Petri net model of logic programs, IEEE Transactions on Software Engineering, Vol. 15, n\u22182, Feb. 1989, pp. 209\u2013217.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"L. Portinale: Exploiting t-invariant analysis in diagnostic reasoning on a Petri net model, Application and Theory of Petri Nets 1993 Lecture Notes in Computer Science 691, Springer Verlag 1993, p. 339\u2013356.","DOI":"10.1007\/3-540-56863-8_55"},{"key":"3_CR44","unstructured":"B. Pradin-Ch\u00e9zalviel, R. Valette: Petri nets and Linear logic for process oriented diagnosis, 1993 IEEE International Conference on System, Man, and Cybernetics, Le Touquet, France, October 1993."},{"key":"3_CR45","unstructured":"B. Pradin-Ch\u00e9zalviel, F. Girault, L.A. K\u00fcnzle, R. Valette: Behavior model based diagnosis in manufacturing, 2 nd International Conference on Industrial Automation, Nancy, France, June 1995."},{"key":"3_CR46","unstructured":"F. Prunet, M. Caradec, N. Audry: Running modes and faulty behavior conveyors modeling with extended Petri nets. IEEE-SMC, CESA-IMACS multiconference, Symposium on Discrete Events and Manufacturing Systems, p. 291\u2013296, Lille, France, July 1996."},{"key":"3_CR47","unstructured":"C. Sibertin-Blanc: High-level Petri nets with data structures. In Applications and Theory of Petri Nets, Finland, June 1985."},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"M. Silva and R. Valette: Petri nets and flexible manufacturing. Advances in Petri nets 1989, Lecture Notes in Computer Science 424, Springer Verlag, pp 374\u2013417, 1990.","DOI":"10.1007\/3-540-52494-0_38"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"G. Valentin, P. Ladet, and J. Ruiz: A generic Petri net based model for paper mills finishing process. In Symposium IFAC\/IFIP\/IFORS\/ISPE sur les pronl\u00e8mes de contr\u00f4le de l'information en technologie de fabrication, INCOM'92, Toronto, Canada, May 1992.","DOI":"10.1016\/S1474-6670(17)52405-2"},{"key":"3_CR50","volume-title":"Flow modelling in a class of hybrid (continuous-discrete) systems","author":"C. Valentin","year":"1993","unstructured":"C. Valentin and P. Ladet: Flow modelling in a class of hybrid (continuous-discrete) systems. In International Conference on Systems, Man and Cybernetics, Le Touquet, France, October 1993. IEEE-SMC."},{"key":"3_CR51","unstructured":"C. Valentin Roubinet: Modelling and simulation of sequential hybrid dynamic systems. In ADEDOPS: Analysis and Design of Event-Driven Operation in Process Systems, London, England, April 1995."},{"key":"3_CR52","unstructured":"R. Valette, J. Cardoso, D. Dubois: Monitoring Manufacturing Systems by means of Petri Nets with Imprecise Markings IEEE International Symposium on Intelligent Control 1989, 25\u201326 sept. Albany N.Y., USA., p.233\u2013238."},{"key":"3_CR53","first-page":"119","volume-title":"ETFA 95, volume 3","author":"R. Valette","year":"1995","unstructured":"R. Valette, H. Pingaud, A. Pag\u00e8s, D. Andreu, and J.-C. Pascal: Modeling, simulation and control of event-driven operation in process systems. In ETFA 95, volume 3, pp 119\u2013128, Paris, France, October 1995. IEEE."},{"key":"3_CR54","first-page":"259","volume-title":"Extending high-level Petri nets for modeling hybrid systems","author":"R. Wieting","year":"1995","unstructured":"R. Wieting, M. Sonnenschein Extending high-level Petri nets for modeling hybrid systems IMACS Symposium on system analysis and simulation, Vol 18\u201319, Berlin, June 1995, A. Sydow editor, Gordon and Breach, p. 259\u2013262."},{"issue":"7","key":"3_CR55","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0098-1354(91)85029-T","volume":"15","author":"E.C. Yamalidou","year":"1991","unstructured":"E.C. Yamalidou and J.C. Kantor: Modeling and optimal control of discrete-event chemical processes using Petri nets. Computers & Chemical Engineering, 15(7):503\u2013519, June 1991.","journal-title":"Computers & Chemical Engineering"}],"container-title":["Application and Theory of Petri Nets 1997","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:57Z","timestamp":1605647757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":55,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-63139-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1997]]}}}