Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions

An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1992-03, Vol.18 (3), p.252-261
Main Authors: Papelis, Y.E., Casavant, T.L.
Format: Article
Language:English
Subjects:
Algorithms
Applied sciences
Computer programming
Computer science
control theory
systems
Concurrent computing
Control systems
Decision making
Design
Distributed computing
Distributed control
Distributed processing
Elevators & escalators
Exact sciences and technology
Inscriptions
Parallel processing
Petri nets
Power
Power system modeling
Software
Software engineering
Software systems
Specifications
Systems analysis
Systems design
Testing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323
cites cdi_FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323
container_end_page 261
container_issue 3
container_start_page 252
container_title IEEE transactions on software engineering
container_volume 18
creator Papelis, Y.E.
Casavant, T.L.
description An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their analytical properties. In order to increase the expressive power of PNs, the extension of TEFs is used. The main focus is the specification and analysis of parallel/distributed software and systems. A key element of this approach is a set of rules derived to automatically transform such an extended net into a basic PN. Once the rules have been applied to transform the specification, analytical methods can be used to investigate characteristic properties of the system and validate correct operation.< >
doi_str_mv 10.1109/32.126774
format article
fullrecord <record><control><sourceid>proquest_ieee_</sourceid><recordid>TN_cdi_ieee_primary_126774</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>126774</ieee_id><sourcerecordid>1143071</sourcerecordid><originalsourceid>FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323</originalsourceid><addsrcrecordid>eNpdkU1L7DAUhoNcwbnqwq2rcBHBRTUfzbRZyuAXCArquqTJiTeSacecFJ1_b8eKgovDgcNznsX7EnLA2SnnTJ9JccrFvKrKLTLjWupCKsH-kBljui6UqvUO-Yv4whhTVaVm5P1hBTb4YE0OfUdN58YxcY0Bae_pyiQTI8QzFzCn0A4ZHMXe5zeT4JPGNWZYIm3X9B5GhHaQkb6F_J_mZDoMn17oTBtD90z90NnNBffItjcRYf9r75Kny4vHxXVxe3d1szi_LayUMheO10rwea2lt61ynM19yaUWQmslpFGqkh7AsVa1hhnQtnWlcLJW3DrupZC75HjyrlL_OgDmZhnQQoymg37ARqi61mUlR_DfL_ClH9KYBTZcj8kxxjfQyQTZ1CMm8M0qhaVJ64azZlNAI0UzFTCyR19Cg9ZEP6ZhA34_qFIwWdUjdjhhAQB-dJPjA8UFjsk</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195580013</pqid></control><display><type>article</type><title>Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions</title><source>ABI/INFORM Global</source><source>IEEE Xplore (Online service)</source><creator>Papelis, Y.E. ; Casavant, T.L.</creator><creatorcontrib>Papelis, Y.E. ; Casavant, T.L.</creatorcontrib><description>An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their analytical properties. In order to increase the expressive power of PNs, the extension of TEFs is used. The main focus is the specification and analysis of parallel/distributed software and systems. A key element of this approach is a set of rules derived to automatically transform such an extended net into a basic PN. Once the rules have been applied to transform the specification, analytical methods can be used to investigate characteristic properties of the system and validate correct operation.&lt; &gt;</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.126774</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Algorithms ; Applied sciences ; Computer programming ; Computer science; control theory; systems ; Concurrent computing ; Control systems ; Decision making ; Design ; Distributed computing ; Distributed control ; Distributed processing ; Elevators &amp; escalators ; Exact sciences and technology ; Inscriptions ; Parallel processing ; Petri nets ; Power ; Power system modeling ; Software ; Software engineering ; Software systems ; Specifications ; Systems analysis ; Systems design ; Testing</subject><ispartof>IEEE transactions on software engineering, 1992-03, Vol.18 (3), p.252-261</ispartof><rights>1992 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Mar 1992</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323</citedby><cites>FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/195580013?pq-origsite=primo$$EHTML$$P50$$Gproquest$$H</linktohtml><link.rule.ids>314,780,784,11688,27924,27925,36060,36061,44363,54796</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=5420378$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Papelis, Y.E.</creatorcontrib><creatorcontrib>Casavant, T.L.</creatorcontrib><title>Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their analytical properties. In order to increase the expressive power of PNs, the extension of TEFs is used. The main focus is the specification and analysis of parallel/distributed software and systems. A key element of this approach is a set of rules derived to automatically transform such an extended net into a basic PN. Once the rules have been applied to transform the specification, analytical methods can be used to investigate characteristic properties of the system and validate correct operation.&lt; &gt;</description><subject>Algorithms</subject><subject>Applied sciences</subject><subject>Computer programming</subject><subject>Computer science; control theory; systems</subject><subject>Concurrent computing</subject><subject>Control systems</subject><subject>Decision making</subject><subject>Design</subject><subject>Distributed computing</subject><subject>Distributed control</subject><subject>Distributed processing</subject><subject>Elevators &amp; escalators</subject><subject>Exact sciences and technology</subject><subject>Inscriptions</subject><subject>Parallel processing</subject><subject>Petri nets</subject><subject>Power</subject><subject>Power system modeling</subject><subject>Software</subject><subject>Software engineering</subject><subject>Software systems</subject><subject>Specifications</subject><subject>Systems analysis</subject><subject>Systems design</subject><subject>Testing</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1992</creationdate><recordtype>article</recordtype><sourceid>M0C</sourceid><recordid>eNpdkU1L7DAUhoNcwbnqwq2rcBHBRTUfzbRZyuAXCArquqTJiTeSacecFJ1_b8eKgovDgcNznsX7EnLA2SnnTJ9JccrFvKrKLTLjWupCKsH-kBljui6UqvUO-Yv4whhTVaVm5P1hBTb4YE0OfUdN58YxcY0Bae_pyiQTI8QzFzCn0A4ZHMXe5zeT4JPGNWZYIm3X9B5GhHaQkb6F_J_mZDoMn17oTBtD90z90NnNBffItjcRYf9r75Kny4vHxXVxe3d1szi_LayUMheO10rwea2lt61ynM19yaUWQmslpFGqkh7AsVa1hhnQtnWlcLJW3DrupZC75HjyrlL_OgDmZhnQQoymg37ARqi61mUlR_DfL_ClH9KYBTZcj8kxxjfQyQTZ1CMm8M0qhaVJ64azZlNAI0UzFTCyR19Cg9ZEP6ZhA34_qFIwWdUjdjhhAQB-dJPjA8UFjsk</recordid><startdate>19920301</startdate><enddate>19920301</enddate><creator>Papelis, Y.E.</creator><creator>Casavant, T.L.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>IEEE Computer Society</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19920301</creationdate><title>Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions</title><author>Papelis, Y.E. ; Casavant, T.L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1992</creationdate><topic>Algorithms</topic><topic>Applied sciences</topic><topic>Computer programming</topic><topic>Computer science; control theory; systems</topic><topic>Concurrent computing</topic><topic>Control systems</topic><topic>Decision making</topic><topic>Design</topic><topic>Distributed computing</topic><topic>Distributed control</topic><topic>Distributed processing</topic><topic>Elevators &amp; escalators</topic><topic>Exact sciences and technology</topic><topic>Inscriptions</topic><topic>Parallel processing</topic><topic>Petri nets</topic><topic>Power</topic><topic>Power system modeling</topic><topic>Software</topic><topic>Software engineering</topic><topic>Software systems</topic><topic>Specifications</topic><topic>Systems analysis</topic><topic>Systems design</topic><topic>Testing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Papelis, Y.E.</creatorcontrib><creatorcontrib>Casavant, T.L.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Complete</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health &amp; Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies &amp; Aerospace Database‎ (1962 - current)</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Health &amp; Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health &amp; Medical Collection (Alumni Edition)</collection><collection>Medical Database</collection><collection>Military Database</collection><collection>Research Library</collection><collection>Science Database</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>ProQuest advanced technologies &amp; aerospace journals</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Business</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Papelis, Y.E.</au><au>Casavant, T.L.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1992-03-01</date><risdate>1992</risdate><volume>18</volume><issue>3</issue><spage>252</spage><epage>261</epage><pages>252-261</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their analytical properties. In order to increase the expressive power of PNs, the extension of TEFs is used. The main focus is the specification and analysis of parallel/distributed software and systems. A key element of this approach is a set of rules derived to automatically transform such an extended net into a basic PN. Once the rules have been applied to transform the specification, analytical methods can be used to investigate characteristic properties of the system and validate correct operation.&lt; &gt;</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/32.126774</doi><tpages>10</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0098-5589
ispartof IEEE transactions on software engineering, 1992-03, Vol.18 (3), p.252-261
issn 0098-5589
1939-3520
language eng
recordid cdi_ieee_primary_126774
source ABI/INFORM Global; IEEE Xplore (Online service)
subjects Algorithms
Applied sciences
Computer programming
Computer science
control theory
systems
Concurrent computing
Control systems
Decision making
Design
Distributed computing
Distributed control
Distributed processing
Elevators & escalators
Exact sciences and technology
Inscriptions
Parallel processing
Petri nets
Power
Power system modeling
Software
Software engineering
Software systems
Specifications
Systems analysis
Systems design
Testing
title Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T20%3A54%3A12IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_ieee_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Specification%20and%20analysis%20of%20parallel/distributed%20software%20and%20systems%20by%20Petri%20nets%20with%20transition%20enabling%20functions&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Papelis,%20Y.E.&rft.date=1992-03-01&rft.volume=18&rft.issue=3&rft.spage=252&rft.epage=261&rft.pages=252-261&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.126774&rft_dat=%3Cproquest_ieee_%3E1143071%3C/proquest_ieee_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c333t-d185216893fcb5d106f41392299523a5573feed0b5ba0ae9cbd42d3851cd1f323%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=195580013&rft_id=info:pmid/&rft_ieee_id=126774&rfr_iscdi=true