Analyzing Enterprises: The Value Cycle Approach
In this paper we consider a formalism for studying specifications of the structure and behaviour of enterprises. An enterprise is an organisational system producing goods or services for the market in order to make financial profit. An important issue is the value cycle, used for determining the ent...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 697 |
|---|---|
| container_issue | |
| container_start_page | 685 |
| container_title | |
| container_volume | 1873 |
| creator | Griffioen, P. R. Elsas, P. I. van de Riet, R. P. |
| description | In this paper we consider a formalism for studying specifications of the structure and behaviour of enterprises. An enterprise is an organisational system producing goods or services for the market in order to make financial profit. An important issue is the value cycle, used for determining the entrepreneurial viability. The formalism offers the advantage of rigorous automatic analysis in design time of central properties of the enterprise specification. The formalism uses so-called value cycle nets, based on Petri nets. |
| doi_str_mv | 10.1007/3-540-44469-6_64 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_1384732</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3072487_71_702</sourcerecordid><originalsourceid>FETCH-LOGICAL-p1824-5edbad9d4c0d49211aa367d92fed88bca167a4f743340986ec8088defb4c56e83</originalsourceid><addsrcrecordid>eNotkLtPwzAQxs1ThNKdMQOrW9vn-MFWVeUhVWIprJbjOG0hJMFuh_LX47Tccqfv7vt0-iF0T8mEEiKngAtOMOdcaCyM4GfoFpJyFMQ5yqigFANwfYHGWqphJ-QwXKKMAGFYSw7XKNNQME1ZATdoHOMnSQWM8YJkaDprbXP43bbrfNHufOjDNvr4mK82Pv-wzd7n84NrfD7r-9BZt7lDV7Vtoh__9xF6f1qs5i94-fb8Op8tcU8V47jwVWkrXXFHKq4ZpdaCkJVmta-UKp2lQlpep_eAE62Ed4ooVfm65K4QXsEIPZxyexudbepgW7eNJr33bcPBUFBcAktnk9NZTJt27YMpu-4rGkrMQNCASUzMEZgZCCYD_OeG7mfv4874weF8uwu2cRvbJwjRAJGMK2kkNZIw-APAsGzi</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3072487_71_702</pqid></control><display><type>book_chapter</type><title>Analyzing Enterprises: The Value Cycle Approach</title><source>Springer Books</source><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Griffioen, P. R. ; Elsas, P. I. ; van de Riet, R. P.</creator><contributor>Ibrahim, Mohamed ; Küng, Josef ; Revell, Norman</contributor><creatorcontrib>Griffioen, P. R. ; Elsas, P. I. ; van de Riet, R. P. ; Ibrahim, Mohamed ; Küng, Josef ; Revell, Norman</creatorcontrib><description>In this paper we consider a formalism for studying specifications of the structure and behaviour of enterprises. An enterprise is an organisational system producing goods or services for the market in order to make financial profit. An important issue is the value cycle, used for determining the entrepreneurial viability. The formalism offers the advantage of rigorous automatic analysis in design time of central properties of the enterprise specification. The formalism uses so-called value cycle nets, based on Petri nets.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540679783</identifier><identifier>ISBN: 3540679782</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540444696</identifier><identifier>EISBN: 9783540444695</identifier><identifier>DOI: 10.1007/3-540-44469-6_64</identifier><identifier>OCLC: 935291253</identifier><identifier>LCCallNum: QA76.9.D35</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Audit Theory ; Computer science; control theory; systems ; Exact sciences and technology ; Financial Profit ; Information systems. Data bases ; Logistic Service ; Memory organisation. Data processing ; Service Enterprise ; Software ; Trading Enterprise</subject><ispartof>Database and Expert Systems Applications, 2000, Vol.1873, p.685-697</ispartof><rights>Springer-Verlag Berlin Heidelberg 2000</rights><rights>2000 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3072487-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-44469-6_64$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-44469-6_64$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1384732$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Ibrahim, Mohamed</contributor><contributor>Küng, Josef</contributor><contributor>Revell, Norman</contributor><creatorcontrib>Griffioen, P. R.</creatorcontrib><creatorcontrib>Elsas, P. I.</creatorcontrib><creatorcontrib>van de Riet, R. P.</creatorcontrib><title>Analyzing Enterprises: The Value Cycle Approach</title><title>Database and Expert Systems Applications</title><description>In this paper we consider a formalism for studying specifications of the structure and behaviour of enterprises. An enterprise is an organisational system producing goods or services for the market in order to make financial profit. An important issue is the value cycle, used for determining the entrepreneurial viability. The formalism offers the advantage of rigorous automatic analysis in design time of central properties of the enterprise specification. The formalism uses so-called value cycle nets, based on Petri nets.</description><subject>Applied sciences</subject><subject>Audit Theory</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Financial Profit</subject><subject>Information systems. Data bases</subject><subject>Logistic Service</subject><subject>Memory organisation. Data processing</subject><subject>Service Enterprise</subject><subject>Software</subject><subject>Trading Enterprise</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540679783</isbn><isbn>3540679782</isbn><isbn>3540444696</isbn><isbn>9783540444695</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2000</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkLtPwzAQxs1ThNKdMQOrW9vn-MFWVeUhVWIprJbjOG0hJMFuh_LX47Tccqfv7vt0-iF0T8mEEiKngAtOMOdcaCyM4GfoFpJyFMQ5yqigFANwfYHGWqphJ-QwXKKMAGFYSw7XKNNQME1ZATdoHOMnSQWM8YJkaDprbXP43bbrfNHufOjDNvr4mK82Pv-wzd7n84NrfD7r-9BZt7lDV7Vtoh__9xF6f1qs5i94-fb8Op8tcU8V47jwVWkrXXFHKq4ZpdaCkJVmta-UKp2lQlpep_eAE62Ed4ooVfm65K4QXsEIPZxyexudbepgW7eNJr33bcPBUFBcAktnk9NZTJt27YMpu-4rGkrMQNCASUzMEZgZCCYD_OeG7mfv4874weF8uwu2cRvbJwjRAJGMK2kkNZIw-APAsGzi</recordid><startdate>2000</startdate><enddate>2000</enddate><creator>Griffioen, P. R.</creator><creator>Elsas, P. I.</creator><creator>van de Riet, R. P.</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2000</creationdate><title>Analyzing Enterprises: The Value Cycle Approach</title><author>Griffioen, P. R. ; Elsas, P. I. ; van de Riet, R. P.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p1824-5edbad9d4c0d49211aa367d92fed88bca167a4f743340986ec8088defb4c56e83</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2000</creationdate><topic>Applied sciences</topic><topic>Audit Theory</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Financial Profit</topic><topic>Information systems. Data bases</topic><topic>Logistic Service</topic><topic>Memory organisation. Data processing</topic><topic>Service Enterprise</topic><topic>Software</topic><topic>Trading Enterprise</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Griffioen, P. R.</creatorcontrib><creatorcontrib>Elsas, P. I.</creatorcontrib><creatorcontrib>van de Riet, R. P.</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>Griffioen, P. R.</au><au>Elsas, P. I.</au><au>van de Riet, R. P.</au><au>Ibrahim, Mohamed</au><au>Küng, Josef</au><au>Revell, Norman</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Analyzing Enterprises: The Value Cycle Approach</atitle><btitle>Database and Expert Systems Applications</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2000</date><risdate>2000</risdate><volume>1873</volume><spage>685</spage><epage>697</epage><pages>685-697</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540679783</isbn><isbn>3540679782</isbn><eisbn>3540444696</eisbn><eisbn>9783540444695</eisbn><abstract>In this paper we consider a formalism for studying specifications of the structure and behaviour of enterprises. An enterprise is an organisational system producing goods or services for the market in order to make financial profit. An important issue is the value cycle, used for determining the entrepreneurial viability. The formalism offers the advantage of rigorous automatic analysis in design time of central properties of the enterprise specification. The formalism uses so-called value cycle nets, based on Petri nets.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-44469-6_64</doi><oclcid>935291253</oclcid><tpages>13</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Database and Expert Systems Applications, 2000, Vol.1873, p.685-697 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1384732 |
| source | Springer Books; IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Applied sciences Audit Theory Computer science control theory systems Exact sciences and technology Financial Profit Information systems. Data bases Logistic Service Memory organisation. Data processing Service Enterprise Software Trading Enterprise |
| title | Analyzing Enterprises: The Value Cycle Approach |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-07T20%3A26%3A06IST&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=bookitem&rft.atitle=Analyzing%20Enterprises:%20The%20Value%20Cycle%20Approach&rft.btitle=Database%20and%20Expert%20Systems%20Applications&rft.au=Griffioen,%20P.%20R.&rft.date=2000&rft.volume=1873&rft.spage=685&rft.epage=697&rft.pages=685-697&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540679783&rft.isbn_list=3540679782&rft_id=info:doi/10.1007/3-540-44469-6_64&rft_dat=%3Cproquest_pasca%3EEBC3072487_71_702%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540444696&rft.eisbn_list=9783540444695&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3072487_71_702&rft_id=info:pmid/&rfr_iscdi=true |