Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems

No abstract is available for this paper.

• Publication year

  1990

• Venue

  [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing

• Publication date

  1990-05-21

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/CIM.1990.128126
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A top-down approach to systematic synthesis of Petri net models for manufacturing systems

  1989cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets

  1988cited by this paper
• Real time control of multilevel manufacturing systems using colored Petri nets

  1988cited by this paper
• Generalized Petri Net Reduction Method

  1987cited by this paper
• Essentially decision free Petri nets for real-time resource allocation

  1987cited by this paper
• Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction

  1987cited by this paper
• Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems

  1987cited by this paper
• Transformations and Decompositions of Nets

  1986cited by this paper
• Modular Synthesis of Deadlock-Free Control Structures

  1986cited by this paper
• Linear Algebraic Techniques for Place/Transition Nets

  1986cited by this paper
• Models for simulation and discrete control of manufacturing systems

  1986cited by this paper
• A Petri net approach to the modelling and analysis of flexible manufacturing systems

  1985cited by this paper
• Hierarchical reduction method for analysis and decomposition of Petri nets

  1985cited by this paper
• Checking properties of nets using transformation

  1985cited by this paper
• A Method for Stepwise Refinement and Abstraction of Petri Nets

  1983cited by this paper
• Petri net theory and the modeling of systems

  1981cited by this paper
• Stepwise Refinements of Transitions and Places

  1980cited by this paper
• Reduction and expansion of live and safe marked graphs.

  1979cited by this paper
• Analysis of Petri Nets by Stepwise Refinements

  1979cited by this paper
• A Synthesis Rule for Concurrent Systems

  1978cited by this paper
• Marked Directed Graphs

  1971cited by this paper

• Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems

  2022cites this paper
• Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

  2021cites this paper
• Modelling and reasoning of large scale fuzzy petri net using inference path and bidirectional methods

  2015cites this paper
• PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems

  2014cites this paper
• Structural Analysis Methods for Petri Net based Control Systems: a Review

  2013cites this paper
• Reengineering Processes for

  2013cites this paper
• Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets

  2012cites this paper
• Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers

  2012cites this paper
• PN-WSNA: An Approach for Reconfigurable Cognitive Sensor Network Implementations

  2011cites this paper
• A New Approach to Petri Net Synthesis:The Knitting Technique

  2010cites this paper
• A Structural Characterization of Diagnosability and On-Line Fault Detection and Location Methodology

  2009cites this paper
• Building Diagnosable Petri Net Models for Distributed Fault Location of DES *

  2008cites this paper
• Fault Diagnosis in Discrete Event Systems using Interpreted Petri Nets

  2008cites this paper
• A Structural Characterization of Diagnosable Petri Net Models

  2007cites this paper
• Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach

  2007cites this paper
• DEADLOCK ANALYSIS IN FMS IN THE PRESENCE OF FLEXIBLE PROCESS PLANS - A SIMULATION STUDY

  2005cites this paper
• Distributed fault diagnosis using Petri net reduced models

  2005cites this paper
• Building reduced petri net models of discrete manufacturing systems

  2005cites this paper
• Building Diagnosalble Petri Net Models for Distributed Fault Location of DES

  2004cites this paper
• Building diagnosable Petri net models for distributed fault location of DES

  2004cites this paper
• Diagnosability of discrete event systems: a Petri net based approach

  2004cites this paper
• Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling

  2000cites this paper
• Reengineering Manufacturing Processes for Agility

  1996cites this paper
• Synthesis using resource control nets for modeling shared-resource systems

  1995cites this paper
• Linear Algebra Based Verification of Well-Behaved Properties and P- Invariants of Petri Nets Synthesized Using Knitting Technique

  1995cites this paper
• Petri nets, FCCS, and synchronous languages to specify discrete events systems: a comparative synthesis on validation power

  1995cites this paper
• A synthesis technique of general petri nets

  1994influential citation
• Computer aided performance analysis of Petri net synthesis methods for automated manufacturing systems

  1994cites this paper
• An interactive tool for design, simulation, verification, and synthesis of protocols

  1994cites this paper
• Case study of a Petri net synthesis technique for manufacturing modeling

  1994cites this paper
• Enhanced knitting technique to Petri net synthesis

  1994cites this paper
• Generation and analysis of synthesis rules for Petri nets with applications to manufacturing

  1994cites this paper
• Petri net synthesis and synchronization using knitting technique

  1994cites this paper
• Performance evaluation of manufacturing systems

  1993cites this paper
• Principles of system modeling

  1993cites this paper
• Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems

  1993cites this paper
• Techniques of petri net reduction

  1993cites this paper
• Synthesis for manufacturing systems integration

  1993cites this paper
• Synthesis using extended resource control nets for modeling shared-resource automated systems

  1992cites this paper
• A synthesis method for Petri net modeling of automated manufacturing systems with shared resources

  1992cites this paper
• A hybrid methodology for synthesis of Petri net models for manufacturing systems

  1992cites this paper
• DESIGN OF MANUFACTURING SYSTEMS: A BOTTOM-UP APPROACH BASED ON PETRI NETS

  1992cites this paper
• A Bottom-up Approach For The Design Of Discrete Manufacturing Systems

  1992cites this paper
• A Petri net based approach for analysing tool management issues in FMS

  1992cites this paper
• Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing Systems

  1992cites this paper
• Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules

  1992cites this paper
• Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems

  1991cites this paper
• Synthesis rules for colored Petri nets and their applications to automated manufacturing systems

  1991cites this paper
• Petri net modeling and analysis of an FMS cell

  1991cites this paper
• Combination of Petri nets and intelligent decision makers for manufacturing systems control

  1991cites this paper
• Construction of Petri net based mathematical models of an FMS cell

  1991cites this paper
• A step-wise specification of a manufacturing system using Petri nets

  1991cites this paper
• A review of synthesis techniques for Petri nets

  1990cites this paper
• Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example

  year unknowncites this paper