Filters








3,165 Hits in 6.1 sec

A Petri Net Based Method for Refining Object Oriented System Specifications

K.S. Cheung, K.O. Chow
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In object-oriented system design, requirements are given as use cases in the form of object interaction scenarios.  ...  In this paper, a Petri-net-based method is proposed for the refinement process. The method starts with specifying the object interaction scenarios as labelled nets.  ...  With a strong theoretical foundation of Petri nets, the proposed method can be effectively used in object-oriented system design for deriving object-based behavioural specifications from a set of use cases  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.08.050">doi:10.1016/j.entcs.2006.08.050</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lqsjfw7wwbgszpnds2akcmu4g4">fatcat:lqsjfw7wwbgszpnds2akcmu4g4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307112618/https://core.ac.uk/download/pdf/82091356.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/33/d3/33d39eb7da7f06403c504127f35b21c2ffe8eee2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.08.050"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Generating Interface Prototype for EnergyPlus IDD File Using Unified Modeling Language and Coloured Petri-nets

Bachkhaznadji Abdeldjebbar, Belhamri Azeddine
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lm2bbv3vfbgafhrpg542lqv47i" style="color: black;">Energy Procedia</a> </i> &nbsp;
Coloured Petri-nets are used in specification and check on the behaviour of these interfaces before their implementation.  ...  The result of the overall approach is a specification consisting of a global coloured Petri-net which can be analysed by means of a simulation together with the generated and refined IDD interface prototype  ...  In OOSE method, for example, scenarios (use cases) run all stages of the object-oriented design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.egypro.2012.05.164">doi:10.1016/j.egypro.2012.05.164</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e5b3eq2gircyno7bix4xckk3zq">fatcat:e5b3eq2gircyno7bix4xckk3zq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190419051549/https://core.ac.uk/download/pdf/82636759.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/3d/ff3d3c9b60a1444a847d7430bb55380a1f2de33c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.egypro.2012.05.164"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

PETRI-OBJECT SIMULATION: TECHNIQUE AND SOFTWARE

Inna Stetsenko, Anton Dyfuchyn
<span title="2020-10-01">2020</span> <i title="Kyiv Politechnic Institute"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zvjkox2hsrguxds4huozsy6hmy" style="color: black;">Information, Computing and Intelligent systems</a> </i> &nbsp;
The behaviour description of the model based on stochastic multichannel Petri net while the model composition is grounded on object-oriented technology.  ...  For better understanding the technique, the Petri-object model of web information system has been developed. Investigation of the response time has been conducted.  ...  CPN Tool combine coloured Petri net with ML programming language while Petri-object simulation combine Petri net with object-oriented programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.20535/2708-4930.1.2020.216057">doi:10.20535/2708-4930.1.2020.216057</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dgr2uuhhyjc2xk5g7fr56cu3rm">fatcat:dgr2uuhhyjc2xk5g7fr56cu3rm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201231231200/http://itvisnyk.kpi.ua/article/download/216057/216195" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d3/49/d349a3e39c998d9ead95f2039d992901844cd58e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.20535/2708-4930.1.2020.216057"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modeling and evaluation of information systems using coloured petri network

Ehsan Zamirpour, Ali Harounabadi, Seyed Javad Mirabedini
<span title="">2014</span> <i title="Growing Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o7iwq357drbcdjp5obca6bonve" style="color: black;">Management Science Letters</a> </i> &nbsp;
Because of supporting the concurrency concepts, petri net has a higher priority than queuing system. For mapping UML to colored Petri net diagram, we use an intermediate graph.  ...  In this paper, we present a formal model for the evaluation of system performance based on a pragmatic model.  ...  Many design problems are categorized into two groups of structure as well as object oriented techniques. Objectoriented technique plays essential role on software development.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5267/j.msl.2014.6.015">doi:10.5267/j.msl.2014.6.015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v4gouuf5mbhqpnxku2ebfnyzvi">fatcat:v4gouuf5mbhqpnxku2ebfnyzvi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140810171439/http://www.growingscience.com/msl/Vol4/msl_2014_171.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/52/6552996363f1b6ed3771515cc23fd18e91c85f30.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5267/j.msl.2014.6.015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets

Sanjib Kumar Saren, Florin Blaga, Tiberiu Vesselenyi, N. Balc
<span title="">2017</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4vlgvitw6fcmbay5hkyo2s2ime" style="color: black;">MATEC Web of Conferences</a> </i> &nbsp;
Under Action Plan 2 for the year 2015-2018.  ...  The paper published has been sponsored under the Erasmus mundus partnership program agreement vide number 2014-0855/001-001 coordinated by and between University of Oradea and City University of London  ...  Dynamic tool allocation and performance evaluation of the FMS model was explained by Chen in [3] using object-oriented Coloured Petri Nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/matecconf/201713701011">doi:10.1051/matecconf/201713701011</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zt2nb5k24ze4xd7dswswxmhthe">fatcat:zt2nb5k24ze4xd7dswswxmhthe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722225023/https://www.matec-conferences.org/articles/matecconf/pdf/2017/51/matecconf_mtem2017_01011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/0d/f70d0aa960a902127d28ac8d9fdd022c074b69b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/matecconf/201713701011"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Internet-enabled modelling of extended manufacturing enterprises using process-based techniques

Kai Cheng, Yaroslav Popov
<span title="2004-01-01">2004</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uvqilzacoje2vogjcpf5ygyabi" style="color: black;">The International Journal of Advanced Manufacturing Technology</a> </i> &nbsp;
It is proposed to apply the Open System Architecture for CIM (CIMOSA) modelling framework alongside with object-oriented Petri Net models of enterprise processes and objectoriented techniques for extended  ...  The main features of the proposed approach are described and some components discussed. Elementary examples of object-oriented Petri Net implementation and real-time visualisation are presented.  ...  Acknowledgements This research is funded by the Leeds Metropolitan University Visiting Research Fellowships Scheme.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00170-003-1725-8">doi:10.1007/s00170-003-1725-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yy7s24nugvhmxfmyw7y3ctpvty">fatcat:yy7s24nugvhmxfmyw7y3ctpvty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812020618/http://bura.brunel.ac.uk/bitstream/2438/1361/3/ExtendEntMod%2bPaper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/c5/aac5d138f933332c35de3d4c56a928f968398a97.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00170-003-1725-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Transformation of UML Models into Analyzable OSAN Models

Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
The unified modelling language (UML) is a de facto standard for object-oriented modelling.  ...  However, there is not a complete transformation technique for all concepts and diagrams of UML to an extension of Petri nets. We have recently introduced object stochastic activity networks (OSANs).  ...  In [10] coloured Petri nets (CPNs) and in [16] the object coloured Petri nets (OCP-nets) are used for the use case modelling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.059">doi:10.1016/j.entcs.2005.12.059</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qgtixwltybf4biigbszi7qcvxa">fatcat:qgtixwltybf4biigbszi7qcvxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171005013947/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ea2/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNjAwMjcxNA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/11/da11d03ea3613d424f879e0ec4c4a443f7ae71ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.059"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Material Flow Modelling in Mechatronic Manufacturing System

Ján Jadlovský, Ján Ilkovič
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i4djr4tgnbobnjegejzpw7nny" style="color: black;">Procedia Engineering</a> </i> &nbsp;
The modelling procedure is based on Petri Net mathematical modelling language supported by graphical software application tool -CPNTool.  ...  The procedure offers the options to make a simulation model of an existing mechatronic assembly or manufacturing systems by using the mentioned software tool or there is possibility to make a simulation  ...  Acknowledgements This contribution is the results of the Scientific Grant Agency of the Slovak Republic and of the project implementation: Centre of Information and Communication Technologies for Knowledge  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.proeng.2012.09.512">doi:10.1016/j.proeng.2012.09.512</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u3kyoyvywfbobooe3aynaqwg3u">fatcat:u3kyoyvywfbobooe3aynaqwg3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220032444/https://core.ac.uk/download/pdf/82426175.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/aa/09aadb4b9a671ab6caa05fecfd79ce82a29b5a9c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.proeng.2012.09.512"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Page 917 of The Journal of the Operational Research Society Vol. 49, Issue 9 [page]

<span title="">1998</span> <i title="Palgrave Macmillan"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_journal-of-the-operational-research-society" style="color: black;">The Journal of the Operational Research Society</a> </i> &nbsp;
Object oriented design of decision making organizations. In: Levis AH and Levis IS (eds). The Science of Command and Control: Part III, Coping with Change.  ...  Modelling Information Pull in the Copernicus Architecture using Coloured Petri Nets. Proceedings of the 1994 Symposium on Command and Control Research and Decision Aids.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-the-operational-research-society_1998-09_49_9/page/917" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-the-operational-research-society_1998-09_49_9/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks

Mohammad Azgomi, Ali Movaghar
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yh7e6fwb3rhmxokijwj7i774ne" style="color: black;">2006 International Conference on Software Engineering Advances (ICSEA&#39;06)</a> </i> &nbsp;
The object-orientation of OSANs and the flexibility of having functions for activities, make these models more appropriate than other extensions of Petri nets for modeling and evaluation of software systems  ...  Then, we will present the result of a case study on transformation of the UML use case and activity diagrams into OSAN models.  ...  dynamic behavior in UML is modeled and validated using coloured Petri nets (CPNs). • In [Maier01] , object coloured Petri nets (OCP-Nets) are used as a formal technique for object oriented modeling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsea.2006.261314">doi:10.1109/icsea.2006.261314</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icsea/AzgomiM06a.html">dblp:conf/icsea/AzgomiM06a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rggoufvtlzd2tacdtbb6wicrau">fatcat:rggoufvtlzd2tacdtbb6wicrau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808213439/http://ce.sharif.edu/~kamandi/paper/TR-OSANs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/39/bf/39bfb4a83f8f841c9f50f7f50b722c2f47999b76.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsea.2006.261314"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules

K S Wong, R M Parkin, J Coy
<span title="">2007</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mnj5xjdk6bghjdsjwjvly7ifry" style="color: black;">Proceedings of the Institution of mechanical engineers. Part B, journal of engineering manufacture</a> </i> &nbsp;
Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules.  ...  The highlevel coloured Petri nets method provides the mechanism to simulate the dynamics of objects and their characteristics, and also to enable communication among the objects.  ...  ACKNOWLEDGEMENTS The support of the Royal Mail plc, UK, the Leeds Mail Sorting Office, the Mechatronics Research Group, Ashley Shaw, Francois B. Vernadat, Wil M.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1243/09544054jem511">doi:10.1243/09544054jem511</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhk4eosjsjfbnhqlf6evpbcaji">fatcat:hhk4eosjsjfbnhqlf6evpbcaji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190321145209/https://core.ac.uk/download/pdf/2740736.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6a/01/6a01d832c2effcb5a3eae0d10f3c8ba0987bcba0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1243/09544054jem511"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems

Kjeld Høyer Mortensen
<span title="1997-03-01">1997</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl2v2lu6c5c6hhhrquezudynja" style="color: black;">DAIMI Report Series</a> </i> &nbsp;
Secondly, it would be useful to identify a few extensions to the CPN method inspired by specific domains for easier adaption in industry. Thirdly, which analysis methods do future systems make use of?  ...  Firstly, to get wider acceptance of CP-nets in industry, it is important to identify fruitful areas for the effective introduction of the CPN method.  ...  The research o n object-oriented Petri Nets is very active, but no common directions or agreement on object-oriented Petri Nets have been made yet.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v26i522.7051">doi:10.7146/dpb.v26i522.7051</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m5hb5hispbfl3f6inhyo6dacpe">fatcat:m5hb5hispbfl3f6inhyo6dacpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922073758/https://tidsskrift.dk/index.php/daimipb/article/download/7051/6012" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bb/87/bb87cad0e4615116da16722e296c56cbefd441c1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v26i522.7051"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modeling of Object-Oriented Programs with Petri Net Structured Objects

Dmitriy Kharitonov, George Tarasov, Evgeniy Golenkov
<span title="">2017</span> <i title="AEPress, s.r.o."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rsgu6oqy7fcfdl4hs633t7yefy" style="color: black;">Computing and informatics</a> </i> &nbsp;
Only encapsulation -one of the three concepts of object-oriented paradigm -is considered. To model a different aspects of encapsulation a Petri net structured object is proposed.  ...  The article presents a method for constructing a model of an objectoriented program in terms of multilabeled Petri nets.  ...  APPENDIX: SAMPLE PROGRAM SOURCE CODE We use the following real parallel program to demonstrate essentials of compositional model construction in terms of structured Petri net objects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4149/cai_2017_5_1063">doi:10.4149/cai_2017_5_1063</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hrxkebuwpfft7o6xcr3pdmqyk4">fatcat:hrxkebuwpfft7o6xcr3pdmqyk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220225171212/http://www.cai.sk/ojs/index.php/cai/article/download/2017_5_1063/854" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/75/1e759d9807a1333e984d7e516c706cfdb8a07a4e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4149/cai_2017_5_1063"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

XML as a format of expression of Object-Oriented Petri Nets

Petr Jedlička
<span title="">2004</span> <i title="Mendel University Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lgytvkcg5nflznjfmc6oxlwpm4" style="color: black;">Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis</a> </i> &nbsp;
.: XML as a format of expression of Object-Oriented Petri Nets. Acta univ. agric. et silvic.  ...  SUMMARY The aim of the article was to evaluate the possibilities of using XML as a basis for creating an open format for the description of object-oriented Petri Nets (OOPN).  ...  Object-oriented Petri Nets (OOPN) (Janoušek, 1998; Martiník, 1999) reflect the current trend towards using an object-oriented approach in designing and implementing (not only) software systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11118/actaun200452060045">doi:10.11118/actaun200452060045</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c5mxqqucsvg23eswpquym6qiou">fatcat:c5mxqqucsvg23eswpquym6qiou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719073052/https://acta.mendelu.cz/media/pdf/actaun_2004052060045.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/be/6b/be6b304d30bc4b19f0edc26843f45bd392523f8f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11118/actaun200452060045"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

From Code to Coloured Petri Nets: Modelling Guidelines [chapter]

Anna Dedova, Laure Petrucci
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper presents a method for designing a coloured Petri net model of a system starting from its high-level object oriented source code.  ...  The entire process is divided into two parts: grounding and code analysis. For each part detailed step-by-step guidelines are given.  ...  This section discusses the guidelines to follow in order to deliver a coloured Petri net from high level object oriented source code.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40465-8_4">doi:10.1007/978-3-642-40465-8_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zpapcdfq5feunmzmvfw3ri4fpu">fatcat:zpapcdfq5feunmzmvfw3ri4fpu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829190902/http://lipn.univ-paris13.fr/~petrucci/PAPERS/ADLP-TOPNOC8.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/aa/eaaaac49f5122d5c036636967165bad4d24799de.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40465-8_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 3,165 results