Relevant bibliographies by topics / Petri nets – Research – Analysis

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Petri nets – Research – Analysis'

Author: Grafiati
Published: 4 June 2021
Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Petri nets – Research – Analysis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Petri nets – Research – Analysis"

1

Hou, Chun Long, Zeng Ma, and Xin Zhan Qi. "Research on Completeness in Decomposition and Composition of Petri Nets." Applied Mechanics and Materials 190-191 (July 2012): 297–303. http://dx.doi.org/10.4028/www.scientific.net/amm.190-191.297.

Full text
Abstract:
Composition and decomposition can be used in refining and combination of Petri nets. Based on the relation of in preconditions and consequences of Petri node, analysis the completeness of the composition and decomposition operation and put forward methods to improve the completeness, in this way can design correct and consistent Petri nets to describe the system.
APA, Harvard, Vancouver, ISO, and other styles
2

Coman, Daniela, Nicu Bizdoaca, Anca Petrisor, Adela Ionescu, and Mihaela Florescu. "Modeling and Analysis of Soccer Robot Tasks Using Generalized Stochastic Petri Nets." Solid State Phenomena 166-167 (September 2010): 133–38. http://dx.doi.org/10.4028/www.scientific.net/ssp.166-167.133.

Full text
Abstract:
Robot soccer competition provides an excellent opportunity for robotics research. In particular, the soccer robots must perform real-time visual recognition, navigate in a dynamic field, avoid the obstacle, collaborate with teammates, and kick the ball in the correct direction. All these tasks demand robots that are autonomous (sensing, thinking, and acting as independent creatures), efficient (functioning under time and resource constraints), cooperative (collaborating with each other robot to accomplish tasks that are beyond individual’s capabilities), and intelligent (reasoning and planing
APA, Harvard, Vancouver, ISO, and other styles
3

Gurskiy, A. A., A. V. Denisenko, and S. M. Dubna. "THE AUTOMATIC SYNTHESIS OF PETRI NETS BASED ON THE FUNCTIONING OF ARTIFICIAL NEURAL NETWORK." Radio Electronics, Computer Science, Control, no. 2 (July 3, 2021): 84–92. http://dx.doi.org/10.15588/1607-3274-2021-2-9.

Full text
Abstract:
Context. The important task was solved during the scientific research related to the development of the methods for automatic synthesis of Petri nets while tuning up of the coordinating automatic control systems. The importance of development of these methods is due to the evolution of intelligent systems. These systems provide the automation of labor intensive processes in the particular case this is the tuning of the certain type of complex control systems. Objective. The purpose of the scientific work is to minimize the time and automation of process in tuning of the multilevel coordinating
APA, Harvard, Vancouver, ISO, and other styles
4

Adam, Tas. "A Petri Net Model for Analysing E-Learning and Learning Difficulties." International Journal of Actor-Network Theory and Technological Innovation 3, no. 4 (2011): 11–21. http://dx.doi.org/10.4018/jantti.2011100102.

Full text
Abstract:
Petri Nets are tools for the modelling and analysis of the behaviour of systems and analysis of the Petri Net can then reveal important information about the structure and dynamic behaviour of the modelled system. In this article, the author argues that Petri Net concepts (when used qualitatively) are not fundamentally different from those of ANT. For example, the ‘places’ from Petri Nets bear a strong resemblance to the actors in ANT, and the ‘triggers’ or ‘transitions’, are somewhat analogous to ANT’s translations. In modelling, places represent conditions and transitions represent events. T
APA, Harvard, Vancouver, ISO, and other styles
5

Sochnev, Aleksei. "METHODS FOR PRESENTING PETRI NETS MODELING RESULTS OF PRODUCTION SYSTEMS." Applied Mathematics and Control Sciences, no. 2 (June 30, 2020): 29–40. http://dx.doi.org/10.15593/2499-9873/2020.2.02.

Full text
Abstract:
The article considers the issues of presenting the results of simulation experiments with models based on Petri nets for a researcher. The need for a qualitative review of the applied methods for visualizing Petri nets of both the processes themselves and the modeling results has been identified and justified. An analysis of publications on the subject of Petri nets allowed us to conclude that the visualization of such models and the results of their modeling is a known weak point. It is this factor that significantly limits the use of Petri nets as a tool for solving practical problems. The c
APA, Harvard, Vancouver, ISO, and other styles
6

YANG, S. K., and T. S. LIU. "FAILURE ANALYSIS FOR AN AIRBAG INFLATOR BY PETRI NETS." Quality and Reliability Engineering International 13, no. 3 (1997): 139–51. http://dx.doi.org/10.1002/(sici)1099-1638(199705)13:3<139::aid-qre91>3.0.co;2-p.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pinney, J. W., D. R. Westhead, and G. A. McConkey. "Petri Net representations in systems biology." Biochemical Society Transactions 31, no. 6 (2003): 1513–15. http://dx.doi.org/10.1042/bst0311513.

Full text
Abstract:
The mathematical structures known as Petri Nets have recently become the focus of much research effort in both the structural and quantitative analysis of all kinds of biological networks. This review provides a very brief summary of these interesting new research directions.
APA, Harvard, Vancouver, ISO, and other styles
8

Song, Long-long, Tai-yong Wang, Xiao-wen Song, Lei Xu, and De-gang Song. "Research and Application of FTA and Petri Nets in Fault Diagnosis in the Pantograph-Type Current Collector on CRH EMU Trains." Mathematical Problems in Engineering 2015 (2015): 1–12. http://dx.doi.org/10.1155/2015/169731.

Full text
Abstract:
A fault tree is established based on structural analysis, working principle analysis, and failure mode and effects analysis (FMEA) of the pantograph-type current collector on the Chinese Rail High-Speed Electric Multiple Unit (CRH EMU) train. To avoid the deficiencies of fault tree analysis (FTA), Petri nets modelling is used to address the problem of data explosion and carry out dynamic diagnosis. Relational matrix analysis is used to solve the minimal cut set equation of the fault tree. Based on the established state equation of the Petri nets, initial tokens and enable-transfer algorithms a
APA, Harvard, Vancouver, ISO, and other styles
9

Davidrajuh, Reggie. "A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study." Computers 8, no. 4 (2019): 83. http://dx.doi.org/10.3390/computers8040083.

Full text
Abstract:
Petri net is a highly useful tool for modeling of discrete-event systems. However, Petri net models of real-life systems are enormous, and their state-spaces are usually of infinite size. Thus, performing analysis on the model becomes difficult. Hence, slicing of Petri Net is suggested to reduce the size of the Petri nets. However, the existing slicing algorithms are ineffective for real-world systems. Therefore, there is a need for alternative methodologies for slicing that are effective for Petri net models of large real-life systems. This paper proposes a new Modular Petri Net as a solution
APA, Harvard, Vancouver, ISO, and other styles
10

Pinto, Constâncio António, José Torres Farinha, and Sarbjeet Singh. "Contributions of Petri Nets to the Reliability and Availability of an Electrical Power System in a Big European Hospital - A Case Study." WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL 16 (January 7, 2021): 21–42. http://dx.doi.org/10.37394/23203.2021.16.2.

Full text
Abstract:
The energy power supply infrastructure of a hospital, to function correctly, needs to be well maintained to ensure its reliability and, by consequence, the maximum integrated availability. In this paper, the authors propose the use of Petri Nets to help the improvement of the electric power system reliability, having as a case study a big European Hospital. The purpose of the research is to identify and analyse the potential failures of the system and to suggest solutions to improve the operations and maintenance to maximise the availability and reliability of those assets through possible and
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Petri nets – Research – Analysis"

1

Bowden, Fred D. J. "The modelling and analysis of command and control decision processes using extended time petri nets." Title page, table of contents and abstract only, 2001. http://web4.library.adelaide.edu.au/theses/09PH/09phb784.pdf.

Full text
Abstract:
Bibliography: leaves 177-191. This thesis uses a new type of extended time Petri net to model and analyse command and control decision processes. A comprehensive review of existing time Petri net structures is given. This concludes with the introduction of time Petri net structure that incorporates the most commonly used time structures. This extended time Petri net structure is then used in the definition of the basic modelling blocks required to model command and control decision processes. This basic modelling block forms the basis of the direct analysis techniques that are introduced in th
APA, Harvard, Vancouver, ISO, and other styles
2

Wiley, Richard Paul. "Performance analysis of Stochastic Timed Petri Nets." Thesis, Massachusetts Institute of Technology, 1985. http://hdl.handle.net/1721.1/15002.

Full text
Abstract:
Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING<br>Bibliography: leaves 305-310.<br>by Richard Paul Wiley.<br>Sc.D.
APA, Harvard, Vancouver, ISO, and other styles
3

Fu, Mo. "An analytic model for agent systems with Petri nets." Diss., The University of Arizona, 2003. http://hdl.handle.net/10150/289933.

Full text
Abstract:
The agent system specification, the agent system implementation and the agent system verification are three essential issues to build an agent system. Many works have been done for the first two issues in recent years. However, as a result of a lack in formal agent modeling techniques, little effort has been made to address the verification issue, which impedes the agent technique a smooth transition from the research lab to the desk of everyday computer engineers. Motivated by this fact and its significance, it is our objective in this dissertation to establish a systematic method for modelin
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Yao Carleton University Dissertation Engineering Electrical. "The harmony operating system described by Petri Nets." Ottawa, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Grecco, Albert J. "AdaFlow: the automation of software analysis using Petri Nets." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/22853.

Full text
Abstract:
There is considerable interest in the development of Ada-based, automated software tools to aid in the development and testing of embedded, real-time software. The Naval Postgraduate School has already implemented automated Ada metric tools at the request of the Naval Weapons Center, China Lake. This thesis is the preliminary work for a new automated software analysis tool entitled AdaFlow. This tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. This Petri net model provides the user with the capability to perform automated, interac
APA, Harvard, Vancouver, ISO, and other styles
6

Santini, Marie. "Analysis of asynchronous iterative algorithms using timed Petri nets." Thesis, University of Salford, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360405.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Han, Yangdong. "Automated security analysis of Internet protocols using coloured Petri nets." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq55908.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jiffry, Mustafa Abdulrahman. "Petri nets approach for the analysis of MASCOT interprocess communications." Thesis, King's College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.324637.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Liu, Su. "Formal Modeling and Analysis Techniques for High Level Petri Nets." FIU Digital Commons, 2014. http://digitalcommons.fiu.edu/etd/1522.

Full text
Abstract:
Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs
APA, Harvard, Vancouver, ISO, and other styles
10

Aeschliman, Ryan. "Modeling and analysis of telemental health systems with Petri nets." Thesis, Kansas State University, 2015. http://hdl.handle.net/2097/19163.

Full text
Abstract:
Master of Science<br>Industrial & Manufacturing Systems Engineering<br>David H. Ben-Arieh<br>Telemental health systems, a form of telemedicine, use electronic communication media to provide patients in remote locations access to psychological and psychiatric specialists. The structure of telemental health systems has a major impact on their performance. Discrete-event simulations offer useful results concerning capacities and utilization of specific resources. Simulation, however, cannot provide theoretical properties of analyzed systems. Petri net representations of systems can overcome this
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Petri nets – Research – Analysis"

1

Bause, Falko. Funktionale Analyse zeitbehafteter Petri-Netze. Deutscher Universitäts Verlag, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stochastic Petri nets: Modelling, stability, simulation. Springer, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Grecco, Albert J. AdaFlow: The automation of software analysis using Petri Nets. Naval Postgraduate School, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Jiacun. Timed Petri Nets: Theory and Application. Springer US, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lindemann, Christoph. Performance modelling with deterministic and stochastic Petri nets. Wiley, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Decomposition and protocols in high-level Petri nets. P.M.P. Rambags, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Elements of distributed algorithms: Modeling and analysis with Petri nets. Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Reisig, Wolfgang. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer Berlin Heidelberg, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lu, Harngdar A. Modeling and analysis of concurrent processing systems by temporal petri nets. Texas Technical University, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. 2nd ed. Springer, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Petri nets – Research – Analysis"

1

Aćimović, Teodora, Gordana Savić, and Dragana Makajić-Nikolić. "Interdomain Quality of Service Negotiation Using DEA Analysis and Petri Nets." In Advances in Operational Research in the Balkans. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-21990-1_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vörös, András, Dániel Darvas, Vince Molnár, et al. "PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research." In Application and Theory of Petri Nets and Concurrency. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-39086-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Haisheng, Heng Zheng, Haitao Zhao, and Zixia Zheng. "Research on the Availability Analysis Method of Navigation Satellite Based on Petri Nets." In Lecture Notes in Electrical Engineering. Springer Singapore, 2018. http://dx.doi.org/10.1007/978-981-13-0029-5_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jensen, Kurt, and Lars M. Kristensen. "Simulation-based Performance Analysis." In Coloured Petri Nets. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/b95112_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Davidrajuh, Reggie. "Analysis of Petri nets." In SpringerBriefs in Applied Sciences and Technology. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-73102-5_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jensen, Kurt. "Formal Analysis of Coloured Petri Nets." In Coloured Petri Nets. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-662-06289-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Leroux, Jérôme. "Acceleration for Petri Nets." In Automated Technology for Verification and Analysis. Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02444-8_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cabasino, Maria Paola, Alessandro Giua, and Carla Seatzu. "Structural Analysis of Petri Nets." In Lecture Notes in Control and Information Sciences. Springer London, 2013. http://dx.doi.org/10.1007/978-1-4471-4276-8_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chehaibar, G. "Use of Reentrant Nets in Modular Analysis of Colored Nets." In High-level Petri Nets. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84524-6_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Evangelista, S., S. Haddad, and J. F. Pradat-Peyre. "Syntactical Colored Petri Nets Reductions." In Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11562948_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Petri nets – Research – Analysis"

1

Tazi, Nacef, Eric Chatelet, Abdel Ghani Aissaoui, and Youcef Bouzidi. "Reliability Analysis Of Wind Turbines Using Petri Nets." In 2018 7th International Conference on Renewable Energy Research and Applications (ICRERA). IEEE, 2018. http://dx.doi.org/10.1109/icrera.2018.8566857.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ding Tan and Liu Hui. "Research of biogas generator monitoring system model based on probability Petri nets." In 2011 International Conference on Image Analysis and Signal Processing (IASP). IEEE, 2011. http://dx.doi.org/10.1109/iasp.2011.6109094.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jiang Daoyu, Guo Qiang, and Zhang Cheng. "Research on modeling for submarine cable monitoring system based on timed colored Petri Nets." In 2011 International Conference on Image Analysis and Signal Processing (IASP). IEEE, 2011. http://dx.doi.org/10.1109/iasp.2011.6109111.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang Yuanyou, Guo Qiang, and Zhao Fangyuan. "Research on the model of submarine cable route monitoring based on improved Petri Nets." In 2011 International Conference on Image Analysis and Signal Processing (IASP). IEEE, 2011. http://dx.doi.org/10.1109/iasp.2011.6109124.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schoenen, Rainer. "Credit-Based Flow Control for Multihop Wireless Networks and Stochastic Petri Nets Analysis." In 2011 9th Annual Communication Networks and Services Research Conference (CNSR). IEEE, 2011. http://dx.doi.org/10.1109/cnsr.2011.48.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Belwal, Chaitanya, Albert M. K. Cheng, and Yuanfeng Wen. "Time petri nets for schedulability analysis of the transactional event handlers of P-FRP." In the 2012 ACM Research in Applied Computation Symposium. ACM Press, 2012. http://dx.doi.org/10.1145/2401603.2401661.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Erden, Zu¨hal. "Representation of the Operational Behaviour of an Educational Robot at Conceptual Design Using Petri Nets." In ASME 2010 10th Biennial Conference on Engineering Systems Design and Analysis. ASMEDC, 2010. http://dx.doi.org/10.1115/esda2010-24880.

Full text
Abstract:
Increasing demand for computational support at conceptual design makes behavioural modeling a challenging area for design research. This is mainly because a behavioural model of a nonexistent design artifact at conceptual level is the basis for behavioural simulation and resulting computational design support. Behavioural models are particularly important for top-down design of multidisciplinary products such as mechatronic systems. During the conceptual design of such systems, intended “operational behavior” of the artifact is described without any physical realization. As design stages becom
APA, Harvard, Vancouver, ISO, and other styles
8

Li, Wen-hong, and Shi-chang Yan. "Research on Mine Locomotive Scheduling Model and Deadlock Based on Petri Net." In Proceedings of the 2019 International Conference on Modeling, Analysis, Simulation Technologies and Applications (MASTA 2019). Atlantis Press, 2019. http://dx.doi.org/10.2991/masta-19.2019.49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zhang, C., and M. Zhou. "A stochastic Petri net-approach to modeling and analysis of ad hoc network." In International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003. IEEE, 2003. http://dx.doi.org/10.1109/itre.2003.1270592.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jing-cong, Zhu, Zhu Xiao-guang, and Guan Lei. "Quantitative Analysis and Research on Emergency Linkage System Performance Based on Stochastic Petri Net." In WSSE 2020: 2020 The 2nd World Symposium on Software Engineering. ACM, 2020. http://dx.doi.org/10.1145/3425329.3425391.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Petri nets – Research – Analysis"

1

Shatz, S. Using Petri Nets to Support Concurrent Software Analysis and Design Automation. Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada371497.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Petri nets – Research – Analysis' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography