Log in

Relevant bibliographies by topics / SIGNED PETRI NETS

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'SIGNED PETRI NETS'

Author: Grafiati

Published: 16 January 2024

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 'SIGNED 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 "SIGNED PETRI NETS"

1

Kansal, Sangita, and Payal Dabas. "An Introduction to Signed Petri Net." Journal of Mathematics 2021 (June 15, 2021): 1–8. http://dx.doi.org/10.1155/2021/5595536.

Full text

Abstract:

In this paper, the notion of a signed graph and Petri net (PN) is combined to introduce a new concept of Signed Petri net (SiPN). The balancedness in the signed graph, formulated by Harary and Cartwright, can be used to study and analyze social networks. This notion of balancedness is extended to Petri net via SiPN as such a concept has not been defined for already existing Petri nets. A balanced SiPN has been defined and its characterization is given. An illustrative example is provided which utilizes the newly introduced concept of assignment of sign to places of SiPN to determine whether an

APA, Harvard, Vancouver, ISO, and other styles

2

Murdianto, Deny, Shinta Tri Kismanti, and Dwi Santoso. "Model Petri Net Produksi Tahu Pada Industri Skala Rumah Tangga." Contemporary Mathematics and Applications (ConMathA) 5, no. 2 (2023): 54–63. http://dx.doi.org/10.20473/conmatha.v5i2.47291.

Full text

Abstract:

The process of making tofu includes several steps, namely the process of soaking soybeans, washing soybeans, milling soybeans, boiling or cooking, filtering, settling and adding vinegar. The purpose of this study it was to obtain a Petri Net model of the tofu making process and perform simulations with signed Petri Nets. Simulations are carried out to determine the dynamics that occur during the process of making tofu. The data used is by observation in a household-scale tofu and tempeh processing industry in Tarakan City. The Petri Net model obtained consists of six transitions and ten places

APA, Harvard, Vancouver, ISO, and other styles

3

Tian, Yinhua, Xiaowen Pang, Yan Su, Dong Han, and Yuyue Du. "Cross-Departmental Collaboration Approach for Earthquake Emergency Response Based on Synchronous Intersection between Traditional and Logical Petri Nets." Electronics 12, no. 5 (2023): 1207. http://dx.doi.org/10.3390/electronics12051207.

Full text

Abstract:

In order to reduce the harm of earthquakes to human society, all governments actively promote the construction and development of earthquake emergency rescue work. The earthquake emergency response involves many departments, multiple personnel and large rescue forces, which presents a great challenge to the ability to carry out cross-departmental rescue work in a collaborative and joint manner. A novel collaboration approach based on traditional and logical Petri nets is proposed to improve the cross-departmental collaboration in earthquake emergency response. The approach extends the synchron

APA, Harvard, Vancouver, ISO, and other styles

4

Staines, Anthony Spiteri. "Concurrency and Petri Net Models." International Journal of Circuits, Systems and Signal Processing 16 (March 11, 2022): 852–58. http://dx.doi.org/10.46300/9106.2022.16.104.

Full text

Abstract:

Concurrency is a fundamental problem and a solution applicable to different areas of computing. Given the complexities and distribution of computer systems and services, concurrency is a modern area requiring proper attention. Petri nets are formalisms based on process representation both from a mathematical view and from a graphical or drawing like view. Petri nets are used to model concurrent processes. This work deals with understanding and representing low level concurrency in Petri nets, when this is not always visible and properly noted from the graphical structure. In this study an alge

APA, Harvard, Vancouver, ISO, and other styles

5

Jiao, Li. "A note on regular Petri nets." Information Processing Letters 108, no. 3 (2008): 110–14. http://dx.doi.org/10.1016/j.ipl.2008.04.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kanich, Ondřej, and Martin Drahanský. "Simulation of synthetic fingerprint generation using Petri nets." IET Biometrics 6, no. 6 (2017): 402–8. http://dx.doi.org/10.1049/iet-bmt.2016.0041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Perše, Matej, Matej Kristan, Janez Perš, Gašper Mušič, Goran Vučkovič, and Stanislav Kovačič. "Analysis of multi-agent activity using petri nets." Pattern Recognition 43, no. 4 (2010): 1491–501. http://dx.doi.org/10.1016/j.patcog.2009.11.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Yakrangi, Oz, Roque J. Saltarén Pazmiño, Juan S. Cely, et al. "An Intelligent Algorithm for Decision Making System and Control of the GEMMA Guide Paradigm Using the Fuzzy Petri Nets Approach." Electronics 10, no. 4 (2021): 489. http://dx.doi.org/10.3390/electronics10040489.

Full text

Abstract:

The aim of this article is to present the fuzzy Petri net algorithm and its implementation on the Guide d’etude des modes de marche et d’arrêt (GEMMA) guide paradigm. Additionally, this article presents a brief description of the GEMMA guide paradigm, the fuzzy logic approach, the Petri nets theory, and fuzzy Petri nets. Each algorithm is intended for a specific set of transitions, depending on their essential conditions. All these algorithms generate intelligent and safe control of the GEMMA guide paradigm in order to have the best control system for the machine. Moreover, the algorithms are

APA, Harvard, Vancouver, ISO, and other styles

9

Best, Eike, and Javier Esparza. "Existence of home states in Petri nets is decidable." Information Processing Letters 116, no. 6 (2016): 423–27. http://dx.doi.org/10.1016/j.ipl.2016.01.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Dworzański, L. W., and I. A. Lomazova. "CPN tools-assisted simulation and verification of nested Petri nets." Automatic Control and Computer Sciences 47, no. 7 (2013): 393–402. http://dx.doi.org/10.3103/s0146411613070201.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "SIGNED PETRI NETS"

1

LIU, Baisi. "An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed Contexts." Phd thesis, Ecole Centrale de Lille, 2014. http://tel.archives-ouvertes.fr/tel-01064597.

Full text

Abstract:

Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets dans des contextes atemporel et temporel sur la base de modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour combattre le problème de l'explosion de l'espace d'état. Dans le contexte atemporel, une représentation algébrique pour les réseaux de Petri labellisés (RdP-L) a été développée pour caractériser le comportement du système. La diagnosticabilité de modèles RdP-L est ensuite abordée par l'analyse d'une série de problèmes d'analyse

APA, Harvard, Vancouver, ISO, and other styles

2

Abellard, Patrick. "Contribution a l'etude d'extensions des reseaux de petri a flux de donnees pour la telesymbiotique assistee par calculateur." Toulon, 1988. http://www.theses.fr/1988TOUL0003.

Full text

Abstract:

Etude d'extensions concernant le traitement des donnees matricielles, la colorabilite des reseaux et la modelisation des reseaux systoliques permet de couvrir un large champ d'applications. Les resultats theoriques obtenus ont ete implementes sur un multiprocesseur construit a base de processeurs a flux de donnees

APA, Harvard, Vancouver, ISO, and other styles

3

Mladenovic, Milos Novica. "Modeling and Assessment of State-Of-The-Art Traffic Control Subsystems." Thesis, Virginia Tech, 2001. http://hdl.handle.net/10919/32193.

Full text

Abstract:

Traffic signals are one of the vital control elements of traffic management and control systems under purview of Departments of Transportation (DOTs) nationwide. They directly affect mobility, safety, and environmental parameters of the transportation networks. Traffic engineers in DOTs often face pressure for extracting additional benefits from existing signal control equipment, influenced by evident increase in demand and changing traffic patterns. However, they often face difficulties, usually from the maturity of the field equipment, lack of understanding of currently available equipment c

APA, Harvard, Vancouver, ISO, and other styles

4

Sun, Pengfei. "Ingénierie de modèle pour la sécurité des systèmes critiques ferroviaires." Thesis, Ecole centrale de Lille, 2015. http://www.theses.fr/2015ECLI0018/document.

Full text

Abstract:

Le développement et l’application des langages formels sont un défi à long terme pour la science informatique. Un enjeu particulier est l’acceptation par l’industrie. Cette thèse présente une approche pour la modélisation et la vérification des postes d’aiguillage français. La première question est la modélisation du système d’enclenchement par les réseaux de Petri colorés (RdPC). Un cadre de modélisation générique et compact est introduit, dans lequel les règles d’enclenchement sont modélisées dans une structure hiérarchique, tandis que les installations sont modélisées dans une perspective g

APA, Harvard, Vancouver, ISO, and other styles

5

Nolibé, Gilles. "Developpement d'une methodologie de determination d'operateurs de calcul specifiques dans des problemes d'identification et d'estimation en temps reel." Toulon, 1988. http://www.theses.fr/1988TOUL0001.

Full text

Abstract:

Elaboration d'une description algebrique des flux de donnees representatifs du traitement algorithmique de signal. Pour cela, une formulation de ces flux qui tient compte de l'ordonnancement des processus afin de determiner le parallelisme interne des algorithmes a implanter. Les resultats theoriques obtenus ont ete appliques a des problemes de traitement de signal

APA, Harvard, Vancouver, ISO, and other styles

6

Siqueira, Ricardo Alves de. "Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/3/3143/tde-26082015-155340/.

Full text

Abstract:

A importância da geração de energia elétrica hidráulica, dentro dos requisitos de qualidade e fornecimento com índices de confiabilidade cada vez mais exigentes, tem se tornada acentuada, principalmente em atendimento às necessidades de consumo em todas as áreas de atividades produtivas. Têm-se notado que as tecnologias desenvolvidas aliadas às mudanças socioeconômicas trouxeram uma evolução e reestruturação, tanto no setor industrial produtivo como no setor elétrico (concessionárias de energia elétrica e fornecedores de sistemas e equipamentos para usinas hidrelétricas e subestações)

APA, Harvard, Vancouver, ISO, and other styles

7

Oancea, Ionela. "Topological analysis of metabolic and regulatory networks by decomposition methods." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I, 2004. http://dx.doi.org/10.18452/15024.

Full text

Abstract:

Die lebenden Organismen sind für eine wissenschaftliche Analyse zu kompliziert, wenn man sie als Ganzes und in ihrer vollen Komplexität betrachtet. Die vorliegende Arbeit behandelt die topologischen Eigenschaften von zwei wichtigen Teilen der lebenden Organismen: die metabolischen und die regulatorischen Systeme. Topolgische Eigenschaften sind solche, die durch die Netwerkstruktur bedingt werden. Ein Signalsystem ist eine spezielle Art von regulatorischem System. Zwischen den metabolischen und Signalnetzen gibt es wichtige Unterschiede, die ihre Behandlung in unterschiedlicher Weise erfordert.

APA, Harvard, Vancouver, ISO, and other styles

8

Wist, Dominic, Mark Schaefer, Walter Vogler, and Ralf Wollowski. "STG decomposition : internal communication for SI implementability." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4078/.

Full text

Abstract:

STG decomposition is a promising approach to tackle the complexity problems arising in logic synthesis of speed independent circuits, a robust asynchronous (i.e. clockless) circuit type. Unfortunately, STG decomposition can result in components that in isolation have irreducible CSC conflicts. Generalising earlier work, it is shown how to resolve such conflicts by introducing internal communication between the components via structural techniques only.<br>STG-Dekomposition ist ein bewährter Ansatz zur Bewältigung der Komplexitätsprobleme bei der Logiksynthese von SI (speed independent) Schaltu

APA, Harvard, Vancouver, ISO, and other styles

9

Grunwald, Stefanie. "Identifizierung und Charakterisierung von Muskeldystrophie Duchenne modifizierenden Genen und Stoffwechselwegen." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I, 2010. http://dx.doi.org/10.18452/16108.

Full text

Abstract:

Hintergrund und Zielsetzung: DMD ist die häufigste Form der Muskeldystrophie im Kindesalter und bis heute unheilbar. Sie wird durch das Fehlen des Proteins Dystrophin verursacht, welches verschiedene Signaltransduktionswege beeinflusst. Das Anliegen der Arbeit ist die Untersuchung und Modulation von Signaltransduktionswegen, die als alternative Therapiestrategie den Verlust von Dystrophin kompensieren könnten. Experimentelle Strategie: Für die Charakterisierung von Dystrophin nachgeschalteten Prozessen wurden mRNA-Expressionsanalysen in Muskelgeweben von DMD-Patienten und einem DMD-Brüderpaa

APA, Harvard, Vancouver, ISO, and other styles

10

Costantini, Hervé. "La mobilité sociale : Modèles et traces." Phd thesis, Conservatoire national des arts et metiers - CNAM, 2012. http://tel.archives-ouvertes.fr/tel-00770978.

Full text

Abstract:

L'avenir de la communication est perçu comme étant quasiment exclusivement constitué de nœuds mobiles évoluant dans un réseau mobile. Dans ce contexte, différentes approches contribuent continuellement à l'amélioration directe ou indirecte des délais d'acheminement des informations échangées entre les utilisateurs, dont :- l'analyse des traces;- l'évaluation des performances ;- les services de localisation;- le routage. Nous décrivons chacun de ses thèmes et proposons des solutions faisant évoluer l'état de l'art. Celles-ci prennent appui sur des méthodes et outils tels que :- les Réseaux de P

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "SIGNED PETRI NETS"

1

Center, Langley Research, ed. Design tool for multiprocessor scheduling and evaluation of iterative dataflow algorithms. National Aeronautics and Space Administration, Langley Research Center, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Center, Langley Research, ed. Design tool for multiprocessor scheduling and evaluation of iterative dataflow algorithms. National Aeronautics and Space Administration, Langley Research Center, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "SIGNED PETRI NETS"

1

Blunno, Ivan, and Luciano Lavagno. "Deriving Signal Transition Graphs from Behavioral Verilog HDL." In Hardware Design and Petri Nets. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3143-9_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Meyer, R., and P. S. Thiagarajan. "LTrL-Based Model Checking for a Restricted Class of Signal Transition Graphs." In Hardware Design and Petri Nets. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3143-9_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Klein, Stéphane, Georg Frey, and Mark Minas. "PLC Programming with Signal Interpreted Petri Nets." In Applications and Theory of Petri Nets 2003. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44919-1_27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Juhás, Gabriel, Robert Lorenz, and Christian Neumair. "Modelling and Control with Modules of Signal Nets." In Lectures on Concurrency and Petri Nets. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27755-2_17.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Chung, Suck-Heui, and Steve Furber. "The Design of the Control Circuits for an Asynchronous Instruction Prefetch Unit Using Signal Transition Graphs." In Hardware Design and Petri Nets. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3143-9_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Little, Scott, David Walter, Nicholas Seegmiller, Chris Myers, and Tomohiro Yoneda. "Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets." In Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30476-0_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Souza, Layse Santos, and Michel S. Soares. "Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control." In Computational Science and Its Applications – ICCSA 2021. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-87013-3_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Boisseau, Guillaume, and Robin Piedeleu. "Graphical Piecewise-Linear Algebra." In Lecture Notes in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_6.

Full text

Abstract:

AbstractGraphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model various application domains, from signal-flow graphs to Petri nets and electrical circuits. In this paper, we introduce to the family its most expressive member to date: Graphical Piecewise-Linear Algebra, a new language to specify piecewise-linear subsets of vector spaces.Like the previous members of the family, it comes with a complete axiomatisation, which means it can be used to reason about the corresponding semantic domain purely equationally, forgetting the set-theoretic interpretation. We show completeness using a single axiom on top of Graphical Polyhedral Algebra, and show that this extension is the smallest that can capture a variety of relevant constructs.Finally, we showcase its use by modelling the behaviour of stateless electronic circuits of ideal elements, a domain that had remained outside the remit of previous diagrammatic languages.

APA, Harvard, Vancouver, ISO, and other styles

9

Napione, Lucia, Daniele Manini, Francesca Cordero, et al. "On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process." In Computational Methods in Systems Biology. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03845-7_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Banham, Adam, Sander J. J. Leemans, Moe T. Wynn, and Robert Andrews. "xPM: A Framework for Process Mining with Exogenous Data." In Lecture Notes in Business Information Processing. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-98581-3_7.

Full text

Abstract:

AbstractProcess mining facilitates analysis of business processes using event logs derived from historical records of process executions stored in organisations’ information systems. Most existing process mining techniques only consider data directly related to process execution (endogenous data). Data not directly representable as attributes of either events or traces (which includes exogenous data), are generally not considered. Exogenous data may be used by process participants in making decisions about execution paths. However, as exogenous data is not represented in event logs, its impact on such decision making is opaque and cannot currently be assessed by existing process mining techniques. This paper shows how exogenous data can be used in process mining, in particular discovery and enhancement techniques, to understand its influence on process decisions. In particular, we focus on time series which represent periodic observations of e.g. weather measurements, city health alerts or patient vital signs. We show that exogenous time series can be aligned and transformed into new attributes to annotate events in an event log. Then, we use these attributes to discover preconditions in a Petri net with exogenous data (xDPN), thus revealing the exogenous data’s influence on the process. Using our framework and a real-life data set from the medical domain, we evaluate the influence of exogenous data on decision points that are non-deterministic in an xDPN.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "SIGNED PETRI NETS"

1

Ikeda, Yuta, and Takao Miura. "Prototyping Color Timed Petri Nets." In 2011 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PacRim). IEEE, 2011. http://dx.doi.org/10.1109/pacrim.2011.6032953.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Minas, M., and G. Frey. "Visual PLC-programming using signal interpreted Petri nets." In Proceedings of 2002 American Control Conference. IEEE, 2002. http://dx.doi.org/10.1109/acc.2002.1025461.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Zheng, Chengwei, John McAllister, and Roger Woods. "Regular-choice Petri Nets for MIMO detectors." In 2010 IEEE Workshop On Signal Processing Systems (SiPS). IEEE, 2010. http://dx.doi.org/10.1109/sips.2010.5624786.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Aspar, Z., Mohamed Khalil-Hani, and Nasir Shaikh-Husin. "Deadlock detection and avoidance using Signal Interpreted Petri Nets." In 2012 IEEE International Conference on Circuits and Systems (ICCAS). IEEE, 2012. http://dx.doi.org/10.1109/iccircuitsandsystems.2012.6408338.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Po-Yuan Shih, Dong-Her Shih, Shin-Yuan Hung, and Ming-Hung Shih. "A rough Petri nets model for stock trading signal detection." In 2016 IEEE International Conference on Cloud Computing and Big Data Analysis (ICCCBDA). IEEE, 2016. http://dx.doi.org/10.1109/icccbda.2016.7529547.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Ungaretti Borges, Matheus, and Eduardo Lima II. "IMPLEMENTATION OF SIGNAL INTERPRETED PETRI NETS USING C LANGUAGE IN ARDUINO." In 24th ABCM International Congress of Mechanical Engineering. ABCM, 2017. http://dx.doi.org/10.26678/abcm.cobem2017.cob17-0418.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Little, Scott, Nicholas Seegmiller, David Walter, Chris Myers, and Tomohiro Yoneda. "Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets." In 2006 IEEE/ACM International Conference on Computer Aided Design. IEEE, 2006. http://dx.doi.org/10.1109/iccad.2006.320148.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Little, Scott, Nicholas Seegmiller, David Walter, Chris Myers, and Tomohiro Yoneda. "Verification of analog/mixed-signal circuits using labeled hybrid petri nets." In the 2006 IEEE/ACM international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1233501.1233556.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Köhler, Andreas, and Ping Zhang. "Pareto Modeling of Discrete Manufacturing Systems by Signal Interpreted Petri Nets." In 2023 American Control Conference (ACC). IEEE, 2023. http://dx.doi.org/10.23919/acc55779.2023.10155912.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Farah, Khamsa, Karim Chabir, and Mohamed Naceur Abdelkrim. "A Petri Nets Modeling of Scheduling Policies in Ethernet Switch." In 2019 International Conference on Signal, Control and Communication (SCC). IEEE, 2019. http://dx.doi.org/10.1109/scc47175.2019.9116135.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!