Relevant bibliographies by topics / Petri nets

Contents

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

Academic literature on the topic 'Petri nets'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

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.'

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"

1

Narahari, Y. "Petri nets." Resonance 4, no. 9 (1999): 44–52. http://dx.doi.org/10.1007/bf02834232.

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

Narahari, Y. "Petri nets." Resonance 4, no. 8 (1999): 58–69. http://dx.doi.org/10.1007/bf02837068.

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

Baez, John C., and Jade Master. "Open Petri nets." Mathematical Structures in Computer Science 30, no. 3 (2020): 314–41. http://dx.doi.org/10.1017/s0960129520000043.

Full text
Abstract:
AbstractThe reachability semantics for Petri nets can be studied using open Petri nets. For us, an “open” Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the outputs of one to the inputs of another. Open Petri nets can be treated as morphisms of a category Open(Petri), which becomes symmetric monoidal under disjoint union. However, since the composite of open Petri nets is defined only up to isomorphism, it is better to treat them as morphisms of a symmetric monoidal double category ${\mathbb O}$ pen(Petri). W
APA, Harvard, Vancouver, ISO, and other styles
4

Finkel, Alain, Serge Haddad, and Igor Khmelnitsky. "Coverability, Termination, and Finiteness in Recursive Petri Nets." Fundamenta Informaticae 183, no. 1-2 (2022): 33–66. http://dx.doi.org/10.3233/fi-2021-2081.

Full text
Abstract:
In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In c
APA, Harvard, Vancouver, ISO, and other styles
5

Badouel, Eric, Jules Chenou, and Goulven Guillou. "An Axiomatization of the Token Game Based on Petri Algebras." Fundamenta Informaticae 77, no. 3 (2007): 187–215. https://doi.org/10.3233/fun-2007-77301.

Full text
Abstract:
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of non negative integers. We identify a class of residuated commutative monoids, called Petri algebras, for which one can mimic the token game of Petri nets to define the behaviour of generalized Petri nets whose flow relations and place contents are valued in such algebraic structures. The sum and its associated residuation capture respectively how resources within places are produced and consumed through the firing of a transition. We show that Petri algebras coincide with the positive cones of lattice
APA, Harvard, Vancouver, ISO, and other styles
6

Ma, Zongmin, Haitao Cheng, and Li Yan. "Automatic Construction of OWL Ontologies From Petri Nets." International Journal on Semantic Web and Information Systems 15, no. 1 (2019): 21–51. http://dx.doi.org/10.4018/ijswis.2019010102.

Full text
Abstract:
Ontology, as a formal representation method of domain knowledge, plays a particular important key role in semantic web. How to construct ontologies has become a key technology in the semantic web, especially constructing ontologies from existing domain knowledge. Currently, Petri nets have been a mathematical modeling tool, and have been widely studied and successfully applied in modeling of software engineering, database and artificial intelligence. In particular, PNML (Petri Net Markup Language) language has been a part of ISO/IEC Petri nets standard for representing and exchanging data on P
APA, Harvard, Vancouver, ISO, and other styles
7

SHIIZUKA, Hisao. "Fuzzy Petri Nets." Journal of Japan Society for Fuzzy Theory and Systems 4, no. 6 (1992): 1069–85. http://dx.doi.org/10.3156/jfuzzy.4.6_63.

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

Liu, GuanJun, ChangJun Jiang, MengChu Zhou, and PengCheng Xiong. "Interactive Petri Nets." IEEE Transactions on Systems, Man, and Cybernetics: Systems 43, no. 2 (2013): 291–302. http://dx.doi.org/10.1109/tsmca.2012.2204741.

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

Bartoletti, Massimo, Tiziana Cimoli, and G. Michele Pinna. "Lending Petri nets." Science of Computer Programming 112 (November 2015): 75–101. http://dx.doi.org/10.1016/j.scico.2015.05.006.

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

ASPERTI, A., and N. BUSI. "Mobile Petri nets." Mathematical Structures in Computer Science 19, no. 6 (2009): 1265–78. http://dx.doi.org/10.1017/s0960129509990193.

Full text
Abstract:
We add mobility to Place-Transition Petri nets: tokens are names for places, and an input token of a transition can be used in its postset to specify a destination. Mobile Petri nets are then further extended to dynamic nets by adding the possibility of creating new nets during the firing of a transition. In this way, starting from Petri nets, we define a simple hierarchy of nets with increasing degrees of dynamicity. For each class in this hierarchy, we provide its encoding in the former class.Our work was largely inspired by the join-calculus of Fournet and Gonthier, which turns out to be a
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Petri nets"

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

Jin, Wei. "Petri nets and their applications." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774753.

Full text
Abstract:
Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in the study of asynchronous concurrent systems. The liveness and reachability problems are considered to be some of the major problems in Petri net theory.Since the structure of a Petri net can be regarded as sets of places and transitions form a graphical point of view, this thesis is concerned with utilizing the results of graph theory to inve
APA, Harvard, Vancouver, ISO, and other styles
3

Dahlbom, Anders. "Petri nets for situation recognition." Doctoral thesis, Örebro universitet, Akademin för naturvetenskap och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-13089.

Full text
Abstract:
Situation recognition is a process with the goal of identifying a priori defined situations in a flow of data and information. The purpose is to aid decision makers with focusing on relevant information by filtering out situations of interest. This is an increasingly important and non trivial problem to solve since the amount of information in various decision making situations constantly grow. Situation recognition thus addresses the information gap, i.e. the problem of finding the correct information at the correct time. Interesting situations may also evolve over time and they may consist o
APA, Harvard, Vancouver, ISO, and other styles
4

David, Nicolas. "Discrete Parameters in Petri Nets." Thesis, Nantes, 2017. http://www.theses.fr/2017NANT4108/document.

Full text
Abstract:
Afin de permettre une modélisation plus souple des systèmes, nous proposons d’étendre les réseaux de Petri par des paramètres discrets représentant le poids des arcs ou le nombre de jetons présents dans les places. Dans ce modèle, tout problème de décision peut être décliné sous deux versions, une universelle, demandant si la propriété considérée est vraie quelles que soient les valeurs que prennent les paramètres et une existentielle, qui s’interroge sur l’existence d’une valeur pour les paramètres telle que la propriété soit satisfaite. Concernant la couverture, nous montrons que ces deux pr
APA, Harvard, Vancouver, ISO, and other styles
5

BARROSO, GIOVANNI CORDEIRO. "A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1987. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192@1.

Full text
Abstract:
A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos componentes indênticos. As extensões às Redes de Petri que permitem diferenciar estes diversos subsistemas, por intermédio da distinção das fichas nelas contidas, receberam o nome de Redes de Petri Coloridas. Neste trabalho, são apresentados algumas propostas existentes na literatura sobre Redes de Petri Coloridas, bem como é desenvolvido um programa de análise baseado em uma dessas propostas - a de kurt Jensen. O programa analisa as propr
APA, Harvard, Vancouver, ISO, and other styles
6

Masapati, Gulammahammad Hasanasaheb. "Performance prediction using timed Petri nets." Thesis, University of Ottawa (Canada), 1987. http://hdl.handle.net/10393/5155.

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

Kyratzoglou, I. M. (Ioannis M. ). "Computer aided design for Petri Nets." Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/14669.

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

Ghahremani, Azghandi Nargess. "Petri nets, probability and event structures." Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/9936.

Full text
Abstract:
Models of true concurrency have gained a lot of interest over the last decades as models of concurrent or distributed systems which avoid the well-known problem of state space explosion of the interleaving models. In this thesis, we study such models from two perspectives. Firstly, we study the relation between Petri nets and stable event structures. Petri nets can be considered as one of the most general and perhaps wide-spread models of true concurrency. Event structures on the other hand, are simpler models of true concurrency with explicit causality and conflict relations. Stable event str
APA, Harvard, Vancouver, ISO, and other styles
9

Li, Yao Carleton University Dissertation Engineering Electrical. "Solution techniques for stochastic petri nets." Ottawa, 1992.

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

MASCHERONI, MARCO. "Hypernets: a class of hierarchical petri nets." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2011. http://hdl.handle.net/10281/19228.

Full text
Abstract:
The interest of this thesis is on modeling systems of mobile agents, systems composed of several open and autonomous components which can interact and move inside one or more environments. Several proposal for modeling mobility have been introduced. They can be roughly divided in two categories: Petri net based formalisms, and process algebra based formalisms. In this thesis, Petri net formalisms will mostly be considered, with particular care to formalisms which use the nets-within-nets paradigm. In models compliant to this paradigm the tokens of a Petri net can be nets themselves. Sin
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Petri nets"

1

Reisig, Wolfgang. Petri Nets. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-69968-9.

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

Diaz, Michel, ed. Petri Nets. ISTE, 2009. http://dx.doi.org/10.1002/9780470611647.

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

Liu, Guanjun. Petri Nets. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-6309-4.

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

Grzegorz, Rozenberg, ed. Petri nets. North-Holland, 1996.

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

Hartmut, Ehrig, ed. Unifying Petri nets: Advances in Petri nets. Springer, 2001.

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

1950-, Reisig Wolfgang, Rozenberg Grzegorz, and Advanced Course on Petri Nets (1996 : Dagstuhl, Wadern, Germany), eds. Lectures on Petri nets: Advances in Petri nets. Springer, 1998.

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

Bause, Falko, and Pieter S. Kritzinger. Stochastic Petri Nets. Vieweg+Teubner Verlag, 1996. http://dx.doi.org/10.1007/978-3-663-11521-2.

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

Wang, Jiacun. Timed Petri Nets. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7.

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

Reisig, Wolfgang. Understanding Petri Nets. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-33278-4.

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

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

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

Book chapters on the topic "Petri nets"

1

Wang, Jiacun. "Petri Nets." In The Kluwer International Series on Discrete Event Dynamic Systems. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7_2.

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

Moody, John O., and Panos J. Antsaklis. "Petri Nets." In Supervisory Control of Discrete Event Systems Using Petri Nets. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5711-1_2.

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

Ştefănescu, Gheorghe. "Petri nets." In Network Algebra. Springer London, 2000. http://dx.doi.org/10.1007/978-1-4471-0479-7_12.

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

Gorrieri, Roberto. "Petri Nets." In Monographs in Theoretical Computer Science. An EATCS Series. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-55559-1_3.

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

van der Aalst, W. M. P. "Petri Nets." In Encyclopedia of Database Systems. Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_817-2.

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

Cheung, King Sing. "Petri Nets." In Augmented Marked Graphs. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06428-4_2.

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

Cassandras, Christos G., and Stéphane Lafortune. "Petri Nets." In Introduction to Discrete Event Systems. Springer US, 1999. http://dx.doi.org/10.1007/978-1-4757-4070-7_4.

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

van der Aalst, W. M. P. "Petri Nets." In Encyclopedia of Database Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_817.

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

Romero, Paulo, and Martins Maciel. "Petri Nets." In Performance, Reliability, and Availability Evaluation of Computational Systems, Volume I. Chapman and Hall/CRC, 2023. http://dx.doi.org/10.1201/9781003306016-12.

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

Best, Eike, and César C. Fernández. "Petri Nets." In Nonsequential Processes. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73483-0_3.

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

Conference papers on the topic "Petri nets"

1

Montes-Partida, Marina, and Ernesto Lopez-Mellado. "Accuracy Measures for Timed Petri Nets." In 2024 21st International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE). IEEE, 2024. https://doi.org/10.1109/cce62852.2024.10770967.

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

Jain, Shruti, Pradeep Naik, and Sunil Bhooshan. "Petri nets." In ICWET '10: International Conference and Workshop on Emerging Trends in Technology. ACM, 2010. http://dx.doi.org/10.1145/1741906.1742168.

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

Indzhov, Hristo, Dimitar Blagoev, and George Totkov. "Executable Petri Nets." In the International Conference. ACM Press, 2009. http://dx.doi.org/10.1145/1731740.1731782.

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

Semenov, Alexander. "Fractal Petri nets." In 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2017. http://dx.doi.org/10.1109/codit.2017.8102759.

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

Hura, Gurdeep Singh. "Petri nets (abstract)." In the 1986 ACM fourteenth annual conference. ACM Press, 1986. http://dx.doi.org/10.1145/324634.325331.

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

Letia, Tiberiu S., Elenita M. Durla-Pasca, and Dahlia Al-Janabi. "Quantum Petri Nets." In 2021 25th International Conference on System Theory, Control and Computing (ICSTCC). IEEE, 2021. http://dx.doi.org/10.1109/icstcc52150.2021.9607302.

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

Marzougui, Borhen, Khaled Hssine, and Kamel Barkaoui. "Toward a New Model of the Petri Nets: Agent Petri Nets." In 2010 European Modelling Symposium (EMS). IEEE, 2010. http://dx.doi.org/10.1109/ems.2010.100.

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

de la Hoz, Jose Daniel Fandiño, Juan Sebastián Sosa, and Nicolás Cardozo. "Distributed Context Petri Nets." In the Workshop. ACM Press, 2019. http://dx.doi.org/10.1145/3340671.3343359.

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

Aman, Bogdan, Gabriel Ciobanu, and G. Michele Pinna. "Timed Catalytic Petri Nets." In 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2012. http://dx.doi.org/10.1109/synasc.2012.22.

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

Luo, Huaiju, Jiliang Luo, and Wanzhen Lin. "Reasoning via Petri nets." In 2017 Eighth International Conference on Intelligent Control and Information Processing (ICICIP). IEEE, 2017. http://dx.doi.org/10.1109/icicip.2017.8113935.

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

Reports on the topic "Petri nets"

1

Prisgrove, L. A., and G. S. Shedler. Symmetric Stochastic Petri Nets. Defense Technical Information Center, 1985. http://dx.doi.org/10.21236/ada158348.

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

Clegg, Benjamin Wyatt, David H. Collins, Jr., and Aparna V. Huzurbazar. Petri Nets for Adversarial Models using Monte Carlo Simulation. Office of Scientific and Technical Information (OSTI), 2018. http://dx.doi.org/10.2172/1473775.

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

Newcomb, Harry. Modeling Bus Bunching with Petri Nets and Max-Plus Algebra. Portland State University Library, 2014. http://dx.doi.org/10.15760/honors.66.

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

Perdu, Didier M. Requirements Specification with Petri Nets Using the Cube Tool Methodology. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada212190.

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

Suzuki, Ichiro, Jianan Li, and Masafumi Yamashita. Fair Petri Nets and Structural Induction for Rings of Processes. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada283920.

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

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
7

DiLeo, John J. Use of Petri Nets in the Simulation of Command and Control Systems. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada289942.

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

Li, Jianan, Ichiro Suzuki, and Masafumi Yamashita. Decision Problems Related to Structural Induction for Rings of Petri Nets with Fairness,. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada297111.

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

Schmerl, Bradley, Jonathan Aldrich, David Garlan, Rick Kazman, and Hong Yan. DiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada456147.

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

Sedlacek, Guilherme Luis. Safety Net for the Poor: The Role of Conditional Cash Grant Programs. Inter-American Development Bank, 2003. http://dx.doi.org/10.18235/0006748.

Full text
Abstract:
The strategy of the Bolsa Escola cash grant program in Brazil and the Progresa program in Mexico are discussed as well as contrasting strategies in after-school programs such as the PETI program in rural Brazil. Evaluations of these programs and lessons learned are addressed in the final section. This presentation was commissioned by the Poverty Reduction and Social Protection Network of the Regional Policy Dialogue for the 6th Hemispheric Meeting celebrated on December 9th and 10th, 2003.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Petri nets' 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