Modeling Safety-Critical Systems with Z and Petri Nets
We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model wi...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 374 |
|---|---|
| container_issue | |
| container_start_page | 361 |
| container_title | |
| container_volume | |
| creator | Heiner, Monika Heisel, Maritta |
| description | We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties. |
| doi_str_mv | 10.1007/3-540-48249-0_31 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_1829560</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3072096_37_379</sourcerecordid><originalsourceid>FETCH-LOGICAL-c384t-a854c876fa11971d98f3e5c305c105ecafd9e66f203afa47371b2bbb312642303</originalsourceid><addsrcrecordid>eNo9UDlPwzAYNaeISnfGDKwutj_Hx4gqLqkcUmFhsRzHaQNpWmwj1H9P0iK-5ZPepaeH0AUlE0qIvAJccIK5YlxjYoAeoLGWCnpwh-lDlFFBKQbg-uifE4IrpY5RRoAwrCWHU5TpQhWMMiHO0DjGD9IfMEapyJB4XFe-bbpFPre1T1s8DU1qnG3z-TYmv4r5T5OW-Xtuuyp_8Sk0-ZNP8Ryd1LaNfvz3R-jt9uZ1eo9nz3cP0-sZdqB4wlYV3CkpakuplrTSqgZfOCCFo6TwztaV9kLUjICtLZcgacnKsoS-LGdAYIQu97kbG_tSdbCda6LZhGZlw9ZQxXQhBtlkL4s90y18MOV6_RkNJWbY0oDppzG73cywZW-Av9yw_vr2MRk_OJzvUrCtW9pN8iEaIJIRLQz0EVLDL6Opbzw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>EBC3072096_37_379</pqid></control><display><type>conference_proceeding</type><title>Modeling Safety-Critical Systems with Z and Petri Nets</title><source>Springer Books</source><creator>Heiner, Monika ; Heisel, Maritta</creator><contributor>Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard ; Felici, Massimo ; Kanoun, Karama</contributor><creatorcontrib>Heiner, Monika ; Heisel, Maritta ; Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard ; Felici, Massimo ; Kanoun, Karama</creatorcontrib><description>We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540664888</identifier><identifier>ISBN: 3540664882</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540482499</identifier><identifier>EISBN: 3540482490</identifier><identifier>DOI: 10.1007/3-540-48249-0_31</identifier><identifier>OCLC: 958521266</identifier><identifier>LCCallNum: QA76.758QA76.76.O63</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Concurrent Operation ; Control theory. Systems ; Exact sciences and technology ; Feed Belt ; Modelling and identification ; Place Invariant ; Programming theory ; Reachable Marking ; Rotary Table ; Theoretical computing</subject><ispartof>Computer Safety, Reliability and Security, 1999, p.361-374</ispartof><rights>Springer-Verlag Berlin Heidelberg 1999</rights><rights>1999 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c384t-a854c876fa11971d98f3e5c305c105ecafd9e66f203afa47371b2bbb312642303</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3072096-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-48249-0_31$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-48249-0_31$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,776,777,781,786,787,790,4036,4037,27906,38236,41423,42492</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1829560$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Carbonell, Jaime G</contributor><contributor>Siekmann, Jörg</contributor><contributor>Goos, Gerhard</contributor><contributor>Felici, Massimo</contributor><contributor>Kanoun, Karama</contributor><creatorcontrib>Heiner, Monika</creatorcontrib><creatorcontrib>Heisel, Maritta</creatorcontrib><title>Modeling Safety-Critical Systems with Z and Petri Nets</title><title>Computer Safety, Reliability and Security</title><description>We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Concurrent Operation</subject><subject>Control theory. Systems</subject><subject>Exact sciences and technology</subject><subject>Feed Belt</subject><subject>Modelling and identification</subject><subject>Place Invariant</subject><subject>Programming theory</subject><subject>Reachable Marking</subject><subject>Rotary Table</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540664888</isbn><isbn>3540664882</isbn><isbn>9783540482499</isbn><isbn>3540482490</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1999</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNo9UDlPwzAYNaeISnfGDKwutj_Hx4gqLqkcUmFhsRzHaQNpWmwj1H9P0iK-5ZPepaeH0AUlE0qIvAJccIK5YlxjYoAeoLGWCnpwh-lDlFFBKQbg-uifE4IrpY5RRoAwrCWHU5TpQhWMMiHO0DjGD9IfMEapyJB4XFe-bbpFPre1T1s8DU1qnG3z-TYmv4r5T5OW-Xtuuyp_8Sk0-ZNP8Ryd1LaNfvz3R-jt9uZ1eo9nz3cP0-sZdqB4wlYV3CkpakuplrTSqgZfOCCFo6TwztaV9kLUjICtLZcgacnKsoS-LGdAYIQu97kbG_tSdbCda6LZhGZlw9ZQxXQhBtlkL4s90y18MOV6_RkNJWbY0oDppzG73cywZW-Av9yw_vr2MRk_OJzvUrCtW9pN8iEaIJIRLQz0EVLDL6Opbzw</recordid><startdate>1999</startdate><enddate>1999</enddate><creator>Heiner, Monika</creator><creator>Heisel, Maritta</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>1999</creationdate><title>Modeling Safety-Critical Systems with Z and Petri Nets</title><author>Heiner, Monika ; Heisel, Maritta</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c384t-a854c876fa11971d98f3e5c305c105ecafd9e66f203afa47371b2bbb312642303</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1999</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Concurrent Operation</topic><topic>Control theory. Systems</topic><topic>Exact sciences and technology</topic><topic>Feed Belt</topic><topic>Modelling and identification</topic><topic>Place Invariant</topic><topic>Programming theory</topic><topic>Reachable Marking</topic><topic>Rotary Table</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Heiner, Monika</creatorcontrib><creatorcontrib>Heisel, Maritta</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Heiner, Monika</au><au>Heisel, Maritta</au><au>Carbonell, Jaime G</au><au>Siekmann, Jörg</au><au>Goos, Gerhard</au><au>Felici, Massimo</au><au>Kanoun, Karama</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Modeling Safety-Critical Systems with Z and Petri Nets</atitle><btitle>Computer Safety, Reliability and Security</btitle><date>1999</date><risdate>1999</risdate><spage>361</spage><epage>374</epage><pages>361-374</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540664888</isbn><isbn>3540664882</isbn><eisbn>9783540482499</eisbn><eisbn>3540482490</eisbn><abstract>We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-48249-0_31</doi><oclcid>958521266</oclcid><tpages>14</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Computer Safety, Reliability and Security, 1999, p.361-374 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1829560 |
| source | Springer Books |
| subjects | Applied sciences Computer science control theory systems Concurrent Operation Control theory. Systems Exact sciences and technology Feed Belt Modelling and identification Place Invariant Programming theory Reachable Marking Rotary Table Theoretical computing |
| title | Modeling Safety-Critical Systems with Z and Petri Nets |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-21T07%3A53%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Modeling%20Safety-Critical%20Systems%20with%20Z%20and%20Petri%20Nets&rft.btitle=Computer%20Safety,%20Reliability%20and%20Security&rft.au=Heiner,%20Monika&rft.date=1999&rft.spage=361&rft.epage=374&rft.pages=361-374&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540664888&rft.isbn_list=3540664882&rft_id=info:doi/10.1007/3-540-48249-0_31&rft_dat=%3Cproquest_pasca%3EEBC3072096_37_379%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540482499&rft.eisbn_list=3540482490&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3072096_37_379&rft_id=info:pmid/&rfr_iscdi=true |