Relevant bibliographies by topics / 1-safe nets

Contents

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

Academic literature on the topic '1-safe nets'

Author: Grafiati
Published: 9 March 2023
Last updated: 31 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 '1-safe 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 "1-safe nets"

1

Cheng, Allan, Javier Esparza, and Jens Palsberg. "Complexity results for 1-safe nets." Theoretical Computer Science 147, no. 1-2 (1995): 117–36. http://dx.doi.org/10.1016/0304-3975(94)00231-7.

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

Chalopin, Jérémie, and Victor Chepoi. "1-Safe Petri Nets and Special Cube Complexes." ACM Transactions on Computational Logic 20, no. 3 (2019): 1–49. http://dx.doi.org/10.1145/3322095.

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

Marchese, Ugo, Martin Gaillard, Anna Pellat, et al. "Multimodal Management of Grade 1 and 2 Pancreatic Neuroendocrine Tumors." Cancers 14, no. 2 (2022): 433. http://dx.doi.org/10.3390/cancers14020433.

Full text
Abstract:
Pancreatic neuroendocrine tumors (p-NETs) are rare tumors with a recent growing incidence. In the 2017 WHO classification, p-NETs are classified into well-differentiated (i.e., p-NETs grade 1 to 3) and poorly differentiated neuroendocrine carcinomas (i.e., p-NECs). P-NETs G1 and G2 are often non-functioning tumors, of which the prognosis depends on the metastatic status. In the localized setting, p-NETs should be surgically managed, as no benefit for adjuvant chemotherapy has been demonstrated. Parenchymal sparing resection, including both duodenum and pancreas, are safe procedures in selected
APA, Harvard, Vancouver, ISO, and other styles
4

Abbes, Samy. "Toward uniform random generation in 1-safe Petri nets." Electronic Notes in Discrete Mathematics 59 (June 2017): 3–17. http://dx.doi.org/10.1016/j.endm.2017.05.002.

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

Mishra, P. K. "Lower and upper bounds of shortest paths in reachability graphs." International Journal of Mathematics and Mathematical Sciences 2004, no. 57 (2004): 3023–36. http://dx.doi.org/10.1155/s0161171204403378.

Full text
Abstract:
We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at most(|T|−1)⋅|T|/2. If the Petri net is conflict free, then the length of the shortest path is at most(|T|+1)⋅|T|/2. If the petrinet is live and extended free choice, then the length of the shortest path is at most|T|⋅|T+1|⋅|T+2|/6, whereTis the set of transitions of the net.
APA, Harvard, Vancouver, ISO, and other styles
6

Męski, Artur, Wojciech Penczek, and Agata Półrola. "BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets." Fundamenta Informaticae 109, no. 3 (2011): 305–21. http://dx.doi.org/10.3233/fi-2011-513.

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

Singh, Gajendra Pratap, Sujit Kumar Singh, and Madhuri Jha. "Existence of Forbidden Digraphs for Crisp Boolean Petri Nets." International Journal of Mathematical, Engineering and Management Sciences 5, no. 1 (2019): 83–95. http://dx.doi.org/10.33889/ijmems.2020.5.1.008.

Full text
Abstract:
Boolean Petri net (BPN) and Crisp Boolean Petri net (CBPN) is a well-studied graph model since 2010 which has several applications in mathematical modeling of complex or tricky networks. Modeling any network with Petri net which can generate binary numbers as marking vectors in its reachability tree is still has much uses. In CBPN with a minimum number of transition and minimum number of steps of reachability tree, minimal execution time to run the machine has not been noted till date, thus it’s necessary to sort out this problem. Possibly it may occur due to some forbidden structure which hin
APA, Harvard, Vancouver, ISO, and other styles
8

Pinna, G. Michele, and Andrea Saba. "An Event Based Semantics of P Systems." Scientific Annals of Computer Science XVIII (June 5, 2008): 99–127. https://doi.org/10.5281/zenodo.12719941.

Full text
Abstract:
Membrane systems have many similarities with classical concurrency models. In particular notions like parallelism, causality and concurrency seem to belong to membrane computing, though they are not yet regarded as central or cornerstone notions. Recently the interest in comparing membrane systems and other models for concurrency has grown. In this paper we propose a translation of membrane system into zero safe nets and then we show how to associate an event automaton to the 1-unfolding of these nets. Thus we propose an event based view of computations of a membrane system.
APA, Harvard, Vancouver, ISO, and other styles
9

Czaja, Ludwik. "Extensions of Elementary Cause-Effect Structures." Fundamenta Informaticae 179, no. 2 (2021): 93–111. http://dx.doi.org/10.3233/fi-2021-2016.

Full text
Abstract:
Cause-effect structures are objects of a formal system devised for modeling, testing and verifying properties of tasks, where parallel execution of actions is the most characteristic feature. This is an algebraic system called a quasi-semiring. In this paper elementary cause-effect structures, a system behaviourally equivalent to 1-safe Petri nets, are extended by the following features: weighted edges, multi-valued nodes having capacities (counterpart of place/transition Petri nets), inhibitors and a model of time. The extensions are accomplished by modifying the notion of state and semantics
APA, Harvard, Vancouver, ISO, and other styles
10

Hawa, Fadi, Zeyad Sako, Than Nguyen, et al. "The band and slough technique is effective for management of diminutive type 1 gastric and duodenal neuroendocrine tumors." Endoscopy International Open 08, no. 06 (2020): E717—E721. http://dx.doi.org/10.1055/a-1119-6698.

Full text
Abstract:
Abstract Background and study aims Endoscopic resection is recommended as initial treatment for early-stage gastric and duodenal neuroendocrine tumors (G-NETs and D-NETs). However, it can cause serious adverse events. We aimed to evaluate the efficacy and safety of the band and slough (BAS) technique as a novel and less aggressive endoscopic therapy for management of such tumors.Four patients, three diagnosed with < 10-mm D-NET and one with 10-mm type I G-NET, were treated with the BAS technique without endoscopic resection. Initial follow-up endoscopy at 3 months was done to assess for res
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "1-safe nets"

1

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

Book chapters on the topic "1-safe nets"

1

Best, Eike, and Harro Wimmel. "Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44988-4_6.

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

Cheng, Allan, Javier Esparza, and Jens Palsberg. "Complexity results for 1-safe nets." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57529-4_66.

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

Lodaya, Kamal, D. Ranganayakulu, and K. Rangarajan. "Hierarchical Structure of 1-Safe Petri Nets." In Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-40965-6_12.

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

Praveen, M., and Kamal Lodaya. "Parameterized Complexity Results for 1-safe Petri Nets." In CONCUR 2011 – Concurrency Theory. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23217-6_24.

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

Heljanko, Keijo. "Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-49059-0_17.

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

Sharkey, Amanda J. C., Noel E. Sharkey, and Gopinath O. Chandroth. "Neural Nets and Diversity." In Safe Comp 95. Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3054-3_25.

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

Górski, Janusz, Jan Magott, and Andrzej Wardziński. "Modeling Fault Trees Using Petri Nets." In Safe Comp 95. Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3054-3_7.

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

Shumba, Jenny, Symphorosa Rembe, Toyin Adewumi, Henry Chinhara, Sibangani Shumba, and Cosmas Maphosa. "Maintaining Safety Nets and Peace for Children and Youth at Risk." In Cultivating a Culture of Nonviolence in Early Childhood Development Centers and Schools. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-7476-7.ch005.

Full text
Abstract:
A safe school environment is conducive for learning at all levels of education. However, schools sometimes enroll children who are generally at risk due to various factors. The chapter discussed how schools and early childhood centers (ECD) can maintain safety and peace for children and youths in their care. By virtue of their age, young children are a population at risk as they depend on adults for their sustenance. A safe environment for children entails physical safety, mental health, social security, and nutrition. The chapter focused on safety nets, strategies/models of maintaining safety
APA, Harvard, Vancouver, ISO, and other styles
9

Lemcke, Jens, Andreas Friesen, and Tirdad Rahmani. "Validating Component-Based Implementations of Business Processes." In Electronic Business Interoperability. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-60960-485-1.ch007.

Full text
Abstract:
This chapter provides a formal specification of non-atomic, relaxed action refinement suited for component-based business process engineering. Engineering a business process involves multiple process models created by different people on different levels of abstractions. Keeping the models consistent during the engineering procedure—refinement validation—is one objective of this chapter. In component-based software engineering, the lowest abstraction of a business process is mapped on existing components that have a description of their behaviors. Checking the consistency of process and compon
APA, Harvard, Vancouver, ISO, and other styles
10

Ciufudean, Calin. "A New Formalism for Diagnosis and Safe Development of Information Systems." In Advances in IT Personnel and Project Management. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-9688-4.ch012.

Full text
Abstract:
Failure diagnosis in large and complex information systems (LCIS) is a critical task due to respect the safe development of these systems. A discrete event system (DES) approach to the problem of failure diagnosis of LCIS is presented in this chapter. A classic solution to solve DES's diagnosis is a stochastic Petri nets. Unfortunately, the solution of a stochastic Petri net is severely restricted by the size of its underlying Markov chain. On the other hand, it has been shown that foraging behavior of ant colonies can give rise to the shortest path, which will reduce the state explosion of st
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "1-safe nets"

1

Jourdan, Guy-Vincent, and Gregor V. Bochmann. "On Testing 1-Safe Petri Nets." In 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2009. http://dx.doi.org/10.1109/tase.2009.20.

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

He, Kevin X., and Michael D. Lemmon. "Validation of liveness for 1-safe hybrid Petri nets using network unfolding." In 1999 European Control Conference (ECC). IEEE, 1999. http://dx.doi.org/10.23919/ecc.1999.7099843.

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

Bakelli, Omar, Ting Xiao, Brian McPherson, et al. "A Feasibility Study on the Pressure Monitoring Above the Injection Zone for CO2 Geological Storage in the Uinta Basin, USA." In 58th U.S. Rock Mechanics/Geomechanics Symposium. ARMA, 2024. http://dx.doi.org/10.56952/arma-2024-0650.

Full text
Abstract:
ABSTRACT: Geological Carbon Storage (GCS) offers a promising solution to mitigate climate change, but ensuring safe and permanent CO2 confinement demands reliable monitoring techniques. This study investigates the feasibility of using pressure changes above the CO2 injection zone (AIZ) for leak detection and storage assessment in the Uinta Basin, Utah. Focusing on the Cretaceous Dakota Formation as a potential storage reservoir, we employed a coupled fluid-flow and poroelasticity model to simulate various leakage scenarios. These scenarios included both the injection well and a nearby legacy w
APA, Harvard, Vancouver, ISO, and other styles
4

Mohamad-Hussein, A., Q. Ni, M. Haas, V. De Gennaro, S. K. Subbiah, and A. Rodriguez-Herrera. "Geomechanics Finite Element Modelling for Nuclear Waste Storage." In 58th U.S. Rock Mechanics/Geomechanics Symposium. ARMA, 2024. http://dx.doi.org/10.56952/arma-2024-0567.

Full text
Abstract:
ABSTRACT: Nuclear energy represents one of the key energy sources that will make it possible to achieve net-zero carbon emissions. Safe and efficient management are crucial requirements when dealing with radioactive waste. Once a geological repository is selected, the development of site involves various stages. Site characterisation represents one of the early phases. It includes performing geological, hydrogeological, and other studies to understand the site's suitability for nuclear waste storage. This paper is devoted to modelling the radioactive waste disposal into a geological repository
APA, Harvard, Vancouver, ISO, and other styles
5

Young, Garry G., and Jason Remer. "Subsequent License Renewal in the U.S." In ASME 2015 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/pvp2015-45586.

Full text
Abstract:
As of January 2015, the NRC has renewed the operating licenses for 75 nuclear units, allowing for up to 60 years of safe operation. In addition, the NRC has license renewal applications under review for 19 units and 5 additional units have announced plans to submit applications over the next few years. This brings the total of renewed licenses and plans for renewal to almost 100% of the operating nuclear units in the U.S. At the end of 2014 there were 38 nuclear plants that had operated for more than 40 years and are eligible to seek a second license renewal (or 38% of the operating units). [1
APA, Harvard, Vancouver, ISO, and other styles
6

Al Ali, Eman, Ravi Srinivas, Jawwad Kaleem, Ganank Srivastava, and Mostafa Shehata. "A Multi-Layered Strategy to Manage Foaming in Ultra-Sour Gas Sweetening Units." In ADIPEC. SPE, 2022. http://dx.doi.org/10.2118/211268-ms.

Full text
Abstract:
Abstract Foaming is a major operational occurrence seen in gas sweetening units; causing production losses, off-spec product, solvent losses, equipment corrosion and excessive consumption of anti- foam chemicals. Foaming can therefore shutdown an entire unit if mismanaged. This paper details a multi-layered bulletproof strategy to manage foaming while operating and designing ultra-sour gas sweetening units. Process simulation models of an operational amine unit at ADNOC Sour Gas (ASG) were built to showcase the positive impacts of each of these recommendations on the performance of the unit. T
APA, Harvard, Vancouver, ISO, and other styles
7

Fan, Mengyang, Yongliang Zhao, Ming Liu, Chaoyang Wang, Zhu Wang, and Junjie Yan. "Stress Analysis and Life Assessment of the Steam Turbine Rotor During Peak Shaving Transient Processes." In ASME 2024 Power Conference. American Society of Mechanical Engineers, 2024. http://dx.doi.org/10.1115/power2024-134617.

Full text
Abstract:
Abstract To achieve the net-zero emissions targets, the global share of renewable energy is rapidly increasing. The high penetration of intermittent and variable renewable power necessitates that coal-fired power plants enhance their operational flexibility for peak shaving and frequency regulation. Frequent and rapid start-ups, shutdowns, and peak shaving processes pose significant safety challenges to the steam turbine rotors. This paper investigates the impact of flexible operation on rotor stress. Firstly, an online monitoring model was developed and verified using a finite element model o
APA, Harvard, Vancouver, ISO, and other styles
8

Quansah, E. A., A. Anani, and S. Adewuyi. "Optimizing Overall Slope Angle and Net Present Value (NPV) Through the Utilization of Ground-Based Pit Wall Monitoring Data." In 58th U.S. Rock Mechanics/Geomechanics Symposium. ARMA, 2024. http://dx.doi.org/10.56952/arma-2024-0509.

Full text
Abstract:
ABSTRACT: In open pit mining operations, the decision to select the ultimate pit slope angle is critical due to its significant impact on safety and economic outcomes like net present value, mine life, operational costs, and safety risks. Recognizing the variability in rock properties and the discrepancies between planned and actual conditions, this paper introduces a robust framework that aligns the monitoring of pit wall conditions with optimizing pit slope angles. We proposed the use of data from the geotechnical model to conduct stability analysis with Rocscience software, combining real-t
APA, Harvard, Vancouver, ISO, and other styles
9

Ulewicz, Malgorzata, and Wieslaw Liszewski. "Problem of utilization of asbestos-cement sheets in Poland." In 22nd International Scientific Conference Engineering for Rural Development. Latvia University of Life Sciences and Technologies, Faculty of Engineering, 2023. http://dx.doi.org/10.22616/erdev.2023.22.tf188.

Full text
Abstract:
The management of construction and demolition waste in individual EU countries is very diverse, especially the management of asbestos waste. In Poland, asbestos-cement products until 1997 were a commonly used roofing material for both residential and farm buildings, especially in rural areas. Due to the harmfulness of this product, a ban on its production and use has been introduced in European countries. Poland, as the only country in the European Union, introduced in 2002 the “Programme for the removal of asbestos from the country for the years 2009-2032”, which defines activities related to
APA, Harvard, Vancouver, ISO, and other styles
10

Farah, Tania, Maryana Emad, Bashirul Haq, Dhafer Al Shehri, and Mohamed Mahmoud. "Hydrogen Blending In Western Australia Gas Network - Pilbara Pipeline System." In ADIPEC. SPE, 2024. http://dx.doi.org/10.2118/223058-ms.

Full text
Abstract:
Abstract Hydrogen blending with natural gas (H2-NG blending) is a pragmatic solution to effectively mitigate and tackle the carbon footprint of natural gas consumption while providing an economical means of transporting large-scale H2. The study aims to evaluate the Pilbara Pipeline System for H2 transportation. It offers the effect of varying H2 concentrations within the gas mixture on the corrosion rates, erosional velocity ratio (EVR), and pressure performance at each 50 km interval along the pipeline. The APA Group's Pilbara Pipeline System spans 216 kilometers, transporting gas from the B
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "1-safe nets"

1

Lamarque, Hugh, and Hannah Brown. Key Considerations: Cross-Border Dynamics Between Uganda and Kenya in the Context of the Outbreak of Ebola, 2022. Institute of Development Studies, 2022. http://dx.doi.org/10.19088/sshap.2022.043.

Full text
Abstract:
This brief summarises key considerations concerning cross-border dynamics between Uganda and Kenya in the context of the outbreak of Ebola (Sudan Virus Disease, SVD) in Uganda. It is part of a series focusing on at-risk border areas between Uganda and four high priority neighbouring countries: Kenya; Rwanda; Tanzania, and South Sudan. The outbreak began in Mubende District, Uganda on 19 September 2022, approximately 340km from the Kenyan border. At the time of writing (December 2022), the outbreak had spread to eight Ugandan districts, including two in the Kampala metropolitan area. Kampala is
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic '1-safe nets' for particular source types:
Journal articles
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