A graphical simulator for programmable logic controllers based on Petri nets
In this paper an extended Petri net, the programmable logic controller net (PLCNet) is defined. A rule-based PLCNet simulator has been designed based on the semantics of PLCNets, with facilities provided to set up and control simulation. Both step and time responses are provided for the presentation...
Saved in:
| Published in | Microprocessing and microprogramming Vol. 41; no. 10; pp. 737 - 756 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier B.V
01.06.1996
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0165-6074 |
| DOI | 10.1016/0165-6074(95)00031-3 |
Cover
| Abstract | In this paper an extended Petri net, the programmable logic controller net (PLCNet) is defined. A rule-based PLCNet simulator has been designed based on the semantics of PLCNets, with facilities provided to set up and control simulation. Both step and time responses are provided for the presentation of simulation results. A graphical environment is provided for the construction of the PLCNet, simulation and the presentation of simulation results. |
|---|---|
| AbstractList | In this paper an extended Petri net, the programmable logic controller net (PLCNet) is defined. A rule-based PLCNet simulator has been designed based on the semantics of PLCNets, with facilities provided to set up and control simulation. Both step and time responses are provided for the presentation of simulation results. A graphical environment is provided for the construction of the PLCNet, simulation and the presentation of simulation results. |
| Author | Grant, P.W. Barker, H.A. Song, J. |
| Author_xml | – sequence: 1 givenname: H.A. surname: Barker fullname: Barker, H.A. – sequence: 2 givenname: P.W. surname: Grant fullname: Grant, P.W. email: p.w.grant@swansea.ac.uk – sequence: 3 givenname: J. surname: Song fullname: Song, J. |
| BookMark | eNp9ULtOwzAU9VAk2sIfMHhCMAT8TOIFqap4SZVggNlynJti5MTFTpD4e1yKGBmOrnTPQ_eeBZoNYQCEzii5ooSW1xmyKEklLpS8JIRwWvAZmv-tj9EipfdMCFXJOdqs8Daa3ZuzxuPk-smbMUTcZexiyFTfm8YD9mHrLLZhGGPwHmLCjUnQ4jDgZxijwwOM6QQddcYnOP2dS_R6d_uyfig2T_eP69WmsKwWY6G4AEVVWzNLqoZzIxlYKwQDVSlRV0KIEkjXcNuxpqUdoaRUvIWq5qqyDeNLdH7IzSd-TJBG3btkwXszQJiSZiWVTEqSheIgtDGkFKHTu-h6E780JXpfl973ove9aCX1T12aZ9vNwQb5iU8HUSfrYLDQugh21G1w_wd8A0tSdNg |
| Cites_doi | 10.1016/0952-1976(89)90015-8 10.1016/0005-1098(89)90087-3 10.1109/MCS.1987.1105300 10.1109/MC.1984.1659029 |
| ContentType | Journal Article |
| Copyright | 1996 |
| Copyright_xml | – notice: 1996 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/0165-6074(95)00031-3 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 756 |
| ExternalDocumentID | 10_1016_0165_6074_95_00031_3 0165607495000313 |
| GroupedDBID | --K --M -~X .~1 0R~ 123 1B1 1~. 5VS 8P~ AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABMAC ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ADBBV ADEZE ADJOM ADMUD AEKER AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AXJTR AZFZN BKOJK BLXMC CS3 EBS EFJIC EJD EO8 EO9 EP2 EP3 FDB FGOYB FIRID FNPLU FYGXN G-Q G8K GBOLZ HLZ HZ~ IHE JJJVA KOM LG9 M41 MO0 O-L O9- OAUVE P-9 PC. Q38 R2- RIG ROL RPZ SBC SDF SPC SST SSV SSZ T5K TN5 UHS WUQ YYP AATTM AAXKI AAYWO AAYXX ABDPE ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c284t-934e919d82c07b33a52ecc442e9794874446e0fb3cf2bd1f010693de78397cb23 |
| IEDL.DBID | AIKHN |
| ISSN | 0165-6074 |
| IngestDate | Sun Sep 28 08:57:02 EDT 2025 Wed Oct 01 02:37:33 EDT 2025 Fri Feb 23 02:28:51 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 10 |
| Keywords | Discrete event dynamic system Rule-based systems Simulation Petri nets Programmable logic controller |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c284t-934e919d82c07b33a52ecc442e9794874446e0fb3cf2bd1f010693de78397cb23 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 26152550 |
| PQPubID | 23500 |
| PageCount | 20 |
| ParticipantIDs | proquest_miscellaneous_26152550 crossref_primary_10_1016_0165_6074_95_00031_3 elsevier_sciencedirect_doi_10_1016_0165_6074_95_00031_3 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 1900 |
| PublicationDate | 1996-06-01 |
| PublicationDateYYYYMMDD | 1996-06-01 |
| PublicationDate_xml | – month: 06 year: 1996 text: 1996-06-01 day: 01 |
| PublicationDecade | 1990 |
| PublicationTitle | Microprocessing and microprogramming |
| PublicationYear | 1996 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Komoda, Kera, Kubo (BIB10) 1984; 17 Barker, Song, Townsend (BIB5) 1989; 2 Barker, Chen, Grant, Jobling, Townsend (BIB2) 1993 Barker, Grant, Jobling, Song, Townsend (BIB4) 1989 Cotter, Woodward (BIB7) 1986; 18 Warnock (BIB14) 1988 Hasegawa, Ohno (BIB9) 1985 Chocron, Cemy (BIB6) 1980 Barker, Chen, Grant, Jobling, Townsend (BIB1) 1987; 7 GRAFCET (BIB8) 1982 Barker, Chen, Jobling, Townsend (BIB3) 1989; 25 Peterson (BIB12) 1981 Song (BIB13) 1993 Masuda, Hasegawa (BIB11) 1980 Masuda (10.1016/0165-6074(95)00031-3_BIB11) 1980 Hasegawa (10.1016/0165-6074(95)00031-3_BIB9) 1985 Barker (10.1016/0165-6074(95)00031-3_BIB3) 1989; 25 Barker (10.1016/0165-6074(95)00031-3_BIB4) 1989 Cotter (10.1016/0165-6074(95)00031-3_BIB7) 1986; 18 GRAFCET (10.1016/0165-6074(95)00031-3_BIB8) 1982 Barker (10.1016/0165-6074(95)00031-3_BIB1) 1987; 7 Song (10.1016/0165-6074(95)00031-3_BIB13) 1993 Barker (10.1016/0165-6074(95)00031-3_BIB2) 1993 Chocron (10.1016/0165-6074(95)00031-3_BIB6) 1980 Komoda (10.1016/0165-6074(95)00031-3_BIB10) 1984; 17 Barker (10.1016/0165-6074(95)00031-3_BIB5) 1989; 2 Warnock (10.1016/0165-6074(95)00031-3_BIB14) 1988 Peterson (10.1016/0165-6074(95)00031-3_BIB12) 1981 |
| References_xml | – year: 1988 ident: BIB14 publication-title: Programmable Controllers Operation and Application – year: 1993 ident: BIB13 article-title: A graphical environment for the design of discrete event systems publication-title: Ph.D. thesis – start-page: 561 year: 1993 end-page: 578 ident: BIB2 article-title: Graphical user interfaces in computer-aided control system design publication-title: CAD for Control Systems – year: 1982 ident: BIB8 article-title: Function chart GRAFCET for the description of logic control systems publication-title: Technical Report Standard: NF C03-190 – start-page: 194 year: 1980 end-page: 203 ident: BIB11 article-title: Mark flow graph and its application to complex sequential control system publication-title: Proc. 13th Hawaii Int. Conf. on System Science – volume: 7 start-page: 19 year: 1987 end-page: 25 ident: BIB1 article-title: Interactive graphics for the computer-aided design of dynamic systems publication-title: IEEE Control Systems Mag. – volume: 25 start-page: 311 year: 1989 end-page: 316 ident: BIB3 article-title: Development of an intelligent man-machine interface for computer-aided control system design and simulation publication-title: Automatica – volume: 2 start-page: 300 year: 1989 end-page: 306 ident: BIB5 article-title: A rule-based procedure for generating programmable logic controller code from graphical input in the form of ladder diagrams publication-title: Int. J. Engineering Applications of Artificial Intelligence – year: 1985 ident: BIB9 article-title: On programming of conventional programmable controller by using mark flow graph publication-title: Proc. ISCAS 85 – start-page: 18 year: 1980 end-page: 22 ident: BIB6 article-title: A petri net based industrial sequencer publication-title: Proc. IEEE Int. Conf., and Exhibition on Industrial Control and Instrumentation – volume: 18 start-page: 75 year: 1986 end-page: 83 ident: BIB7 article-title: Designing better programs for controllers publication-title: Control and Instrumentation – volume: 17 start-page: 73 year: 1984 end-page: 83 ident: BIB10 article-title: An autonomous, decentralized control system for factory automation publication-title: Computer – start-page: 356 year: 1989 end-page: 361 ident: BIB4 article-title: A Graphical man-machine interface for discrete-event dynamic systems publication-title: Proc. 3rd European Simulation Congress – year: 1981 ident: BIB12 publication-title: Petri Nets: Theory and Modelling of Systems – year: 1981 ident: 10.1016/0165-6074(95)00031-3_BIB12 – volume: 2 start-page: 300 year: 1989 ident: 10.1016/0165-6074(95)00031-3_BIB5 article-title: A rule-based procedure for generating programmable logic controller code from graphical input in the form of ladder diagrams publication-title: Int. J. Engineering Applications of Artificial Intelligence doi: 10.1016/0952-1976(89)90015-8 – volume: 25 start-page: 311 issue: 2 year: 1989 ident: 10.1016/0165-6074(95)00031-3_BIB3 article-title: Development of an intelligent man-machine interface for computer-aided control system design and simulation publication-title: Automatica doi: 10.1016/0005-1098(89)90087-3 – volume: 18 start-page: 75 issue: 11 year: 1986 ident: 10.1016/0165-6074(95)00031-3_BIB7 article-title: Designing better programs for controllers publication-title: Control and Instrumentation – start-page: 356 year: 1989 ident: 10.1016/0165-6074(95)00031-3_BIB4 article-title: A Graphical man-machine interface for discrete-event dynamic systems – start-page: 194 year: 1980 ident: 10.1016/0165-6074(95)00031-3_BIB11 article-title: Mark flow graph and its application to complex sequential control system – start-page: 561 year: 1993 ident: 10.1016/0165-6074(95)00031-3_BIB2 article-title: Graphical user interfaces in computer-aided control system design – year: 1988 ident: 10.1016/0165-6074(95)00031-3_BIB14 – volume: 7 start-page: 19 issue: 3 year: 1987 ident: 10.1016/0165-6074(95)00031-3_BIB1 article-title: Interactive graphics for the computer-aided design of dynamic systems publication-title: IEEE Control Systems Mag. doi: 10.1109/MCS.1987.1105300 – year: 1982 ident: 10.1016/0165-6074(95)00031-3_BIB8 article-title: Function chart GRAFCET for the description of logic control systems – year: 1985 ident: 10.1016/0165-6074(95)00031-3_BIB9 article-title: On programming of conventional programmable controller by using mark flow graph – volume: 17 start-page: 73 issue: 12 year: 1984 ident: 10.1016/0165-6074(95)00031-3_BIB10 article-title: An autonomous, decentralized control system for factory automation publication-title: Computer doi: 10.1109/MC.1984.1659029 – year: 1993 ident: 10.1016/0165-6074(95)00031-3_BIB13 article-title: A graphical environment for the design of discrete event systems – start-page: 18 year: 1980 ident: 10.1016/0165-6074(95)00031-3_BIB6 article-title: A petri net based industrial sequencer |
| SSID | ssj0004975 |
| Score | 1.2461472 |
| Snippet | In this paper an extended Petri net, the programmable logic controller net (PLCNet) is defined. A rule-based PLCNet simulator has been designed based on the... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 737 |
| SubjectTerms | Discrete event dynamic system Petri nets Programmable logic controller Rule-based systems Simulation |
| Title | A graphical simulator for programmable logic controllers based on Petri nets |
| URI | https://dx.doi.org/10.1016/0165-6074(95)00031-3 https://www.proquest.com/docview/26152550 |
| Volume | 41 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Complete Freedom Collection [SCCMFC] issn: 0165-6074 databaseCode: ACRLP dateStart: 19950401 customDbUrl: isFulltext: true dateEnd: 19960630 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0004975 providerName: Elsevier – providerCode: PRVESC databaseName: Science Direct issn: 0165-6074 databaseCode: .~1 dateStart: 19950101 customDbUrl: isFulltext: true dateEnd: 19960630 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0004975 providerName: Elsevier – providerCode: PRVESC databaseName: Science Direct issn: 0165-6074 databaseCode: AIKHN dateStart: 19950401 customDbUrl: isFulltext: true dateEnd: 19960630 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0004975 providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals issn: 0165-6074 databaseCode: AKRWK dateStart: 19950401 customDbUrl: isFulltext: true mediaType: online dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004975 providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELZou7DwRjyLBwYYTJ3YjpuxqqgKlAohKnWz4sSRKtG06mPlt3N2HF4SQmK1Yiv67vzdXXIPhC6ZFlTz0JAkyinhYPJIwqKE0CyzrWCkMW7c2-Mw6o_4_ViMv9TC2LRKz_0lpzu29istj2ZrPpm0qOsbI8HBp64BYQ01wPy023XU6Nw99Ief1ZGxLBMZI0HshqqALohaH2tXsbh2xxD2m4H6QdXO_vR20JZ3HHGnfLddtGGKPbRdDWXA_o7uo0EHuybUFny8nEzteK7ZAoNvin0u1tRWS2HHedhnqr-CE4itQcvwrMBuyhYuzGp5gEa925dun_iRCSQFO7MiMeMmDuKsHaZUasYSEYKMOAgjhotnW93zyNBcszQPdRbkNiKMWWYk-Eky1SE7RPViVpgjhDnXAZNJyBNhOEQpOtSUARmKRNI8DdgxIhVOal52xlBVypjFVVlcVSyUw1XB87ICU32TsALy_mPnRYW9AuW3fzSSwszWSwXhn4CYiJ78--xTtFnmYdvvKmeovlqszTm4GSvdRLWbt6AJ2tR9Hjw1vVa9AzEZzVw |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELagDLDwRrzrgQEGU8ePmIwIURVoO7VSNytOHKkSTao2XfntnJ2El4SQWC3Hij7b390l390hdMWNpEYwS-Iwo0SAySMxD2NC09SVglHW-nZvg2HYG4vniZx8yYVxssqa-ytO92xdj3RqNDvz6bRDfd0YBQ4-9QUI19GGkEy5AOz27VPmISJVyRhDSdz0Jn0uCDsfY9eRvPGLEP6befpB1N76dHfRdu024vvqzfbQms330U7TkgHXN_QA9e-xL0HtoMfL6cw15yoWGDxTXCuxZi5XCnvGw7VO_RVcQOzMWYqLHPseWzi35fIQjbuPo4ceqRsmkASsTEkiLmwUROkdS6gynMeSwQ4J2IoIrp0rdC9CSzPDk4yZNMhcPBjx1CrwklRiGD9CrbzI7THCQpiAq5iJWFoBMYphhnKgQhkrmiUBP0GkwUnPq7oYuhGMOVy1w1VHUntcNcxXDZj62_5qoO4_nmw32Gs4-u5_RpzbYrXUEPxJiIjo6b_XbqPN3mjQ1_2n4csZ2qoU2e4LyzlqlYuVvQCHozSX_kS9A295zI8 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+graphical+simulator+for+programmable+logic+controllers+based+on+Petri+nets&rft.jtitle=Microprocessing+and+microprogramming&rft.au=Barker%2C+H.A.&rft.au=Grant%2C+P.W.&rft.au=Song%2C+J.&rft.date=1996-06-01&rft.issn=0165-6074&rft.volume=41&rft.issue=10&rft.spage=737&rft.epage=756&rft_id=info:doi/10.1016%2F0165-6074%2895%2900031-3&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_0165_6074_95_00031_3 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0165-6074&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0165-6074&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0165-6074&client=summon |