On the public citation graph
Checking properties of nets using transformations
0 signed · 212 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-08921-7_55openalex-snapshot
An algebra for parallelism based on petri nets
inferredcites →https://doi.org/10.1007/3-540-08921-7_85openalex-snapshot
Synchronized petri nets : A model for the description of non-autonomous sytems
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1016/0022-0000(82)90014-9openalex-snapshot
Homomorphisms between models of parallel computation
inferredcites →https://doi.org/10.1016/0376-5075(76)90015-5openalex-snapshot
A data transfer protocol
inferredcites →https://doi.org/10.1109/tcom.1982.1095452openalex-snapshot
Petri Nets Theory for the Correctness of Protocols
inferredcites →https://doi.org/10.1145/800194.805854openalex-snapshot
Proper termination of flow-of-control in programs involving concurrent processes
inferredcites →https://doi.org/10.1145/800231.807010openalex-snapshot
The economics, politics, and sociology of two-dimensional systems
inferredcites →https://doi.org/10.1145/987361.987365openalex-snapshot
Proper termination of flow-of-control in programs involving concurrent processes
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118602638.ch7openalex-snapshot
Verification of Finite‐State Systems
inferred← citeshttps://doi.org/10.1002/9781118720103openalex-snapshot
Verification of Communication Protocols in Web Services
inferred← citeshttps://doi.org/10.1002/9781118720103.ch7openalex-snapshot
GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES
inferred← citeshttps://doi.org/10.1002/spe.4380240805openalex-snapshot
An interactive tool for design, simulation, verification, and synthesis of protocols
inferred← citeshttps://doi.org/10.1006/inco.1994.1080openalex-snapshot
Reduction and Synthesis of Live and Bounded Free Choice Petri Nets
inferred← citeshttps://doi.org/10.1007/11562948_17openalex-snapshot
Syntactical Colored Petri Nets Reductions
inferred← citeshttps://doi.org/10.1007/11901914_19openalex-snapshot
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis
inferred← citeshttps://doi.org/10.1007/3-540-17906-2_20openalex-snapshot
Computer tools for construction, modification and analysis of Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-36126-x_22openalex-snapshot
Input/Output Compatibility of Reactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-36190-1_4openalex-snapshot
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
inferred← citeshttps://doi.org/10.1007/3-540-36569-9_43openalex-snapshot
Translating Haskell# Programs into Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_16openalex-snapshot
Automatic Abstraction for Verification of Timed Circuits and Systems?
inferred← citeshttps://doi.org/10.1007/3-540-44798-9_25openalex-snapshot
Net Reductions for LTL Model-Checking
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_12openalex-snapshot
Quasar: A New Tool for Concurrent Ada Programs Analysis
inferred← citeshttps://doi.org/10.1007/3-540-44988-4_22openalex-snapshot
Pre- and Post-agglomerations for LTL Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-44988-4_23openalex-snapshot
Bisimulation and the Reduction of Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-52494-0_31openalex-snapshot
A reduction theory for coloured nets
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_82openalex-snapshot
Refinement of concurrent systems based on local state transformations
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_33openalex-snapshot
A state transformation preorder over a class of EN systems
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_17openalex-snapshot
Concurrency relations and the safety problem for Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_19openalex-snapshot
Liveness and boundedness analysis for Petri nets with event graph modules
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_50openalex-snapshot
Iterative decomposition and aggregation of Stochastic marked graph Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-57220-1_69openalex-snapshot
Modelling and analyzing cryptographic protocols using Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-60249-6_57openalex-snapshot
Computing Petri net languages by reductions
inferred← citeshttps://doi.org/10.1007/3-540-61363-3_5openalex-snapshot
Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_24openalex-snapshot
Model Checking Based on Occurrence Net Graph
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_5openalex-snapshot
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-21571-2_15openalex-snapshot
Finding Complex Process-Structures by Exploiting the Token-Game
inferred← citeshttps://doi.org/10.1007/978-3-030-51831-8_15openalex-snapshot
Structural Reductions Revisited
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_11openalex-snapshot
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
inferred← citeshttps://doi.org/10.1007/978-3-031-08679-3_11openalex-snapshot
LTL under reductions with weaker conditions than stutter-invariance
inferred← citeshttps://doi.org/10.1007/978-3-031-33620-1_18openalex-snapshot
Automated Polyhedral Abstraction Proving
inferred← citeshttps://doi.org/10.1007/978-3-031-94634-9_12openalex-snapshot
Translating Workflow Nets into the Partially Ordered Workflow Language
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_18openalex-snapshot
On the Reversibility of Well-Behaved Weighted Choice-Free Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10398-3_7openalex-snapshot
Attractor Equivalence: An Observational Semantics for Reaction Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-45177-0_16openalex-snapshot
Goal-Oriented Reduction of Automata Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-45811-3_5openalex-snapshot
Analysis of Concurrent Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-94111-0_4openalex-snapshot
Petri Net Reductions for Counting Markings
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_14openalex-snapshot
Graph Grammars and Petri Net Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-47919-2_13openalex-snapshot
Transformations and Decompositions of Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_7openalex-snapshot
Transformations in Reconfigurable Place/Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68855-6_6openalex-snapshot
Adapting Petri Nets Reductions to Promela Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_5openalex-snapshot
Generating Petri Net State Spaces
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_9openalex-snapshot
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_12openalex-snapshot
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_24openalex-snapshot
Decompositional Petri Net Reductions
inferred← citeshttps://doi.org/10.1007/978-3-642-03848-8_16openalex-snapshot
The Triconnected Abstraction of Process Models
inferred← citeshttps://doi.org/10.1007/978-3-642-15618-2_7openalex-snapshot
How to Implement a Theory of Correctness in the Area of Business Processes and Services
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_10openalex-snapshot
Data and Abstraction for Scenario-Based Modeling with Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_15openalex-snapshot
Safety Slicing Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-32885-5_26openalex-snapshot
Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models
inferred← citeshttps://doi.org/10.1007/978-3-642-79917-4_4openalex-snapshot
Functional and Performance Analysis of Cooperating Sequential Processes
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_5openalex-snapshot
A Canonical Contraction for Safe Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-65303-6_1openalex-snapshot
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
inferred← citeshttps://doi.org/10.1007/978-94-011-6955-4_3openalex-snapshot
Synthesis for manufacturing systems integration
inferred← citeshttps://doi.org/10.1007/bf01975673openalex-snapshot
A synthesis technique of general petri nets
inferred← citeshttps://doi.org/10.1007/bf03036471openalex-snapshot
Reduction rules for time Petri nets
inferred← citeshttps://doi.org/10.1007/bfb0033542openalex-snapshot
Analysis of autonomous Petri nets with bulk services and arrivals
inferred← citeshttps://doi.org/10.1007/bfb0033545openalex-snapshot
Functional and performance analysis of cooperating sequential processes
inferred← citeshttps://doi.org/10.1007/bfb0046845openalex-snapshot
Transformations and decompositions of nets
inferred← citeshttps://doi.org/10.1007/s00165-010-0161-4openalex-snapshot
Soundness of workflow nets: classification, decidability, and analysis
inferred← citeshttps://doi.org/10.1007/s00236-011-0137-8openalex-snapshot
Connectivity of workflow nets: the foundations of stepwise verification
inferred← citeshttps://doi.org/10.1007/s10009-019-00519-1openalex-snapshot
Counting Petri net markings from reduction equations
inferred← citeshttps://doi.org/10.1007/s10009-022-00692-wopenalex-snapshot
Go2Pins: a framework for the LTL verification of Go programs (extended version)
inferred← citeshttps://doi.org/10.1007/s10617-007-9011-xopenalex-snapshot
A time Petri net-based method for embedded hard real-time software synthesis
inferred← citeshttps://doi.org/10.1007/s10619-011-7088-5openalex-snapshot
Business process model abstraction: a definition, catalog, and survey
inferred← citeshttps://doi.org/10.1007/s10626-019-00301-0openalex-snapshot
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00011-5openalex-snapshot
Petri-net-based deadlock analysis of Process Algebra programs
inferred← citeshttps://doi.org/10.1016/0306-4379(93)90039-4openalex-snapshot
The behavior network model for conceptual information modeling
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.09.001openalex-snapshot
Half a century after Carl Adam Petri’s Ph.D. thesis: A perspective on the field
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.03.004openalex-snapshot
On the history of Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.04.006openalex-snapshot
Petri nets and Automatic Control: A historical perspective
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.07.023openalex-snapshot
Action Planning for Directed Model Checking of Petri Nets
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.016openalex-snapshot
Transformations of Petri Nets
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.028openalex-snapshot
Desynchronisation Technique Using Petri Nets
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.156openalex-snapshot
Modeling, analysis and control of Discrete Event Systems: a Petri net perspective
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.06.327openalex-snapshot
An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.06.345openalex-snapshot
On monotonicity and continuity: computing problematic configurations in timed continuous Petri nets
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.12.002openalex-snapshot
Reduction rules for YAWL workflows with cancellation regions and OR-joins
inferred← citeshttps://doi.org/10.1016/j.is.2007.09.002openalex-snapshot
DFL: A dataflow language based on Petri nets and nested relational calculus
inferred← citeshttps://doi.org/10.1016/j.is.2008.06.003openalex-snapshot
On the relationship between workflow models and document types
inferred← citeshttps://doi.org/10.1016/j.jcss.2009.06.003openalex-snapshot
Reduction rules for reset/inhibitor nets
inferred← citeshttps://doi.org/10.1016/j.jtbi.2012.08.042openalex-snapshot
Reduction techniques for network validation in systems biology
inferred← citeshttps://doi.org/10.1016/j.nahs.2012.07.004openalex-snapshot
Minimum-time decentralized control of Choice-Free continuous Petri nets
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.12.010openalex-snapshot
Property-preserving subnet reductions for designing manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.10.021openalex-snapshot
Dynamically consistent reduction of logical regulatory graphs
inferred← citeshttps://doi.org/10.1016/s0378-7206(99)00038-5openalex-snapshot
Loosely coupled interorganizational workflows:
inferred← citeshttps://doi.org/10.1016/s0947-3580(97)70077-3openalex-snapshot
Petri Nets for the Design and Operation of Manufacturing Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)40531-3openalex-snapshot
A Petri Net Approach for Quantifying Mutual Exclusion Degree
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)46633-xopenalex-snapshot
Analysis and Performance Evaluation of Coloured Petri Nets by Means of Distributed Simulation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51710-3openalex-snapshot
Control of a Flexible Manufacturing System Using Petri Nets
inferred← citeshttps://doi.org/10.1023/a:1008969621405openalex-snapshot
A Petri Net Model for Hardware/Software Codesign
inferred← citeshttps://doi.org/10.1023/a:1011235419951openalex-snapshot
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
inferred← citeshttps://doi.org/10.1023/a:1016031730365openalex-snapshot
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
inferred← citeshttps://doi.org/10.1023/a:1018960305057openalex-snapshot
A comparative study of formal verification techniques for software architecture specifications
inferred← citeshttps://doi.org/10.1023/a:1025182201690openalex-snapshot
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
inferred← citeshttps://doi.org/10.1080/00207720701621959openalex-snapshot
Refining and verifying regular Petri nets
inferred← citeshttps://doi.org/10.1093/comjnl/bxh125openalex-snapshot
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction
inferred← citeshttps://doi.org/10.1109/21.135693openalex-snapshot
Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/21.214792openalex-snapshot
A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/32.553699openalex-snapshot
A compact Petri net representation and its implications for analysis
inferred← citeshttps://doi.org/10.1109/32.922714openalex-snapshot
Reduction methods for real-time systems using Delay Time Petri Nets
inferred← citeshttps://doi.org/10.1109/3468.531905openalex-snapshot
An office analysis methodology using Petri nets and playscripts
inferred← citeshttps://doi.org/10.1109/3468.553226openalex-snapshot
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals
inferred← citeshttps://doi.org/10.1109/3468.650328openalex-snapshot
Invariant-preserving transformations for the verification of place/transition systems
inferred← citeshttps://doi.org/10.1109/3468.769759openalex-snapshot
Analysis of modularly composed nets by siphons
inferred← citeshttps://doi.org/10.1109/3477.558787openalex-snapshot
A Petri net synthesis theory for modeling flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/3477.875449openalex-snapshot
Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments
inferred← citeshttps://doi.org/10.1109/41.334575openalex-snapshot
Systematic construction of functional abstractions of Petri net models of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/41.334579openalex-snapshot
Task decomposition and analysis of robotic assembly task plans using Petri nets
inferred← citeshttps://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferred← citeshttps://doi.org/10.1109/66.705371openalex-snapshot
Modeling, qualitative analysis, and performance evaluation of the etching area in an IC wafer fabrication system using Petri nets
inferred← citeshttps://doi.org/10.1109/66.705374openalex-snapshot
Modeling and performance analysis of cluster tools using Petri nets
inferred← citeshttps://doi.org/10.1109/69.224193openalex-snapshot
Investigating the applicability of Petri nets for rule-based system verification
inferred← citeshttps://doi.org/10.1109/69.755628openalex-snapshot
Knowledge-based software architectures: acquisition, specification, and verification
inferred← citeshttps://doi.org/10.1109/70.143353openalex-snapshot
A hybrid methodology for synthesis of Petri net models for manufacturing systems
inferred← citeshttps://doi.org/10.1109/70.585895openalex-snapshot
A class of Petri nets for manufacturing system integration
inferred← citeshttps://doi.org/10.1109/70.650158openalex-snapshot
Deadlock analysis of Petri nets using siphons and mathematical programming
inferred← citeshttps://doi.org/10.1109/70.781975openalex-snapshot
ERCN-merged nets and their analysis using siphons
inferred← citeshttps://doi.org/10.1109/70.86081openalex-snapshot
Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1109/71.553301openalex-snapshot
An application of Petri net reduction for Ada tasking deadlock analysis
inferred← citeshttps://doi.org/10.1109/71.80172openalex-snapshot
Design and implementation of a Petri net based toolkit for Ada tasking analysis
inferred← citeshttps://doi.org/10.1109/9.739118openalex-snapshot
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
inferred← citeshttps://doi.org/10.1109/cim.1990.128126openalex-snapshot
Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/cim.1992.638989openalex-snapshot
Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/cmpsac.1989.65052openalex-snapshot
Structure design of distributed systems using interpreted Petri nets
inferred← citeshttps://doi.org/10.1109/cmpsac.2002.1045086openalex-snapshot
Toward efficient algorithms for generating compact Petri nets from labeled transition systems
inferred← citeshttps://doi.org/10.1109/coase.2006.326847openalex-snapshot
Improving analysis and simulation of continuous Petri Nets
inferred← citeshttps://doi.org/10.1109/coginf.2002.1039283openalex-snapshot
Model and heuristic technique for efficient verification of component-based software systems
inferred← citeshttps://doi.org/10.1109/csd.2001.981773openalex-snapshot
A structural encoding technique for the synthesis of asynchronous circuits
inferred← citeshttps://doi.org/10.1109/csd.2004.1309131openalex-snapshot
Modular analysis of systems composed of semiautonomous subsystems
inferred← citeshttps://doi.org/10.1109/etfa.1994.401982openalex-snapshot
Self-checking implementation of Boolean interpreted Petri nets
inferred← citeshttps://doi.org/10.1109/etfa.1995.496786openalex-snapshot
Siphon and trap generation in an incremental design process based on Petri nets
inferred← citeshttps://doi.org/10.1109/etfa.1995.496810openalex-snapshot
A simulation method of Petri nets by conflict-free ones
inferred← citeshttps://doi.org/10.1109/etfa.2001.997673openalex-snapshot
Petri net models and functional abstractions: applications to the design of automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/grc.2011.6122702openalex-snapshot
Scalable process modeling based on net synthesis under cloud computing environment
inferred← citeshttps://doi.org/10.1109/hase.1997.648062openalex-snapshot
Efficient compositional state-space verification for communicating processes in distributed systems
inferred← citeshttps://doi.org/10.1109/iccad.2003.159771openalex-snapshot
ILP models for the synthesis of asynchronous control circuits
inferred← citeshttps://doi.org/10.1109/iccd.2009.5413154openalex-snapshot
A new verification method for embedded systems
inferred← citeshttps://doi.org/10.1109/icdcs.1989.37993openalex-snapshot
A toolkit for automated support of Ada tasking analysis
inferred← citeshttps://doi.org/10.1109/icdcs.1990.89289openalex-snapshot
Applying Petri net reduction to support Ada-tasking deadlock detection
inferred← citeshttps://doi.org/10.1109/iceccs.2000.873937openalex-snapshot
Definitions of equivalence for transformational synthesis of embedded systems
inferred← citeshttps://doi.org/10.1109/icsmc.1994.400032openalex-snapshot
Some results on the integration of manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538114openalex-snapshot
Detecting and resolving the interaction between telephone features: terminating call screening and call forwarding by colored Petri-nets
inferred← citeshttps://doi.org/10.1109/icsmc.1997.638112openalex-snapshot
Synthesis of resource control nets using siphons
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725505openalex-snapshot
Synthesis of extended resource control nets using siphons
inferred← citeshttps://doi.org/10.1109/icsmc.2000.886617openalex-snapshot
Modeling FMS through PN: the modular structural synthesis
inferred← citeshttps://doi.org/10.1109/icsmc.2002.1176081openalex-snapshot
Decomposition of Petri nets using the transitive matrix based on P-invariant
inferred← citeshttps://doi.org/10.1109/icsmc.2008.4811599openalex-snapshot
Performance evaluation of logistics with componentized stochastic models
inferred← citeshttps://doi.org/10.1109/iecon.1991.239175openalex-snapshot
A method for systematic construction of functional abstractions of a class of Petri nets models used to represent primary components of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/isic.1991.187349openalex-snapshot
Synthesis rules for colored Petri nets and their applications to automated manufacturing systems
inferred← citeshttps://doi.org/10.1109/iwrsp.1997.618823openalex-snapshot
Computing communication cost by Petri nets for hardware/software codesign
inferred← citeshttps://doi.org/10.1109/iwssd.1993.315513openalex-snapshot
A Petri-net-based approach to real-time program analysis
inferred← citeshttps://doi.org/10.1109/pacrim.1989.48349openalex-snapshot
An integrated approach to protocol design
inferred← citeshttps://doi.org/10.1109/pnpm.1991.238781openalex-snapshot
Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
inferred← citeshttps://doi.org/10.1109/pnpm.1991.238795openalex-snapshot
Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1989.100041openalex-snapshot
A top-down approach to systematic synthesis of Petri net models for manufacturing systems
inferred← citeshttps://doi.org/10.1109/robot.1990.126033openalex-snapshot
A Petri net design method for automated manufacturing systems with shared resources
inferred← citeshttps://doi.org/10.1109/robot.1995.525566openalex-snapshot
A class of Petri nets for modular modeling
inferred← citeshttps://doi.org/10.1109/robot.2000.846352openalex-snapshot
Manufacturing modeling using process nets with resources
inferred← citeshttps://doi.org/10.1109/rsp.2007.33openalex-snapshot
Rapid Prototyping of Intrusion Detection Systems
inferred← citeshttps://doi.org/10.1109/tase.2010.9openalex-snapshot
Property Checking for 1-Place-Unbounded Petri Nets
inferred← citeshttps://doi.org/10.1109/tase.2013.2281733openalex-snapshot
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers
inferred← citeshttps://doi.org/10.1109/tase.2019.2933230openalex-snapshot
Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets
inferred← citeshttps://doi.org/10.1109/tcad.2003.816214openalex-snapshot
Modular verification of timed circuits using automatic abstraction
inferred← citeshttps://doi.org/10.1109/tcad.2005.859516openalex-snapshot
Synthesis of asynchronous controllers using integer linear programming
inferred← citeshttps://doi.org/10.1109/tcbb.2017.2749225openalex-snapshot
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis
inferred← citeshttps://doi.org/10.1109/tcst.2017.2692204openalex-snapshot
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs
inferred← citeshttps://doi.org/10.1109/tie.2005.844225openalex-snapshot
Petri Net Models, Functional Abstractions, and Reduction Techniques: Applications to the Design of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/tii.2011.2166795openalex-snapshot
Managing Process Model Complexity Via Abstract Syntax Modifications
inferred← citeshttps://doi.org/10.1109/tkde.2003.1185842openalex-snapshot
Model and algorithm for efficient verification of high-assurance properties of real-time systems
inferred← citeshttps://doi.org/10.1109/tra.2002.805655openalex-snapshot
Process nets with resources for manufacturing modeling and their analysis
inferred← citeshttps://doi.org/10.1109/tse.2003.1183940openalex-snapshot
Parametric fault tree for the dependability analysis of redundant systems and its high-level petri net semantics
inferred← citeshttps://doi.org/10.1109/tsmca.2010.2046730openalex-snapshot
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497844openalex-snapshot
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules
inferred← citeshttps://doi.org/10.1142/s0129626406002502openalex-snapshot
New Efficient Petri Nets Reductions for Parallel Programs Verification
inferred← citeshttps://doi.org/10.1145/154183.154197openalex-snapshot
Using state space reduction methods for deadlock analysis in Ada tasking
inferred← citeshttps://doi.org/10.1145/174146.154197openalex-snapshot
Using state space reduction methods for deadlock analysis in Ada tasking
inferred← citeshttps://doi.org/10.1145/186258.187243openalex-snapshot
Analysis of real-time programs with simple time Petri nets
inferred← citeshttps://doi.org/10.1145/201024.201038openalex-snapshot
Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada
inferred← citeshttps://doi.org/10.1145/293677.293681openalex-snapshot
Compositional verification of concurrent systems using Petri-net-based condensation rules
inferred← citeshttps://doi.org/10.24846/v26i2y201703openalex-snapshot
Conception of Hierarchical Fuzzy Interpreted PETRI Net
inferred← citeshttps://doi.org/10.3182/20130925-3-cz-3023.00093openalex-snapshot
Detection of Possible Frozen States in Communicating UML State Machines
inferred← citeshttps://doi.org/10.3233/fi-2013-897openalex-snapshot
Rough Net Structures - Example of Information System
inferred← citeshttps://doi.org/10.3390/metabo3030673openalex-snapshot
On Functional Module Detection in Metabolic Networks
inferred← citeshttps://doi.org/10.3390/s21248433openalex-snapshot
Extended Hierarchical Fuzzy Interpreted Petri Net
inferred← citeshttps://doi.org/10.4018/978-1-61520-969-9.ch002openalex-snapshot
Foundations of Business Process Modeling
inferred← citeshttps://doi.org/10.4230/dagsemproc.06161.4openalex-snapshot
A Petri Net Approach to Verify and Debug Simulation Models
inferred← citeshttps://doi.org/10.46298/.7334openalex-snapshot
Symbolic and Structural Model-Checking
inferred← citeshttps://doi.org/10.47749/t/unicamp.2006.387515openalex-snapshot
Modelagem e programação de sistemas a eventos discretos periodicos
inferred← citeshttps://doi.org/10.5555/951807.951818openalex-snapshot
A Petri-net-based approach to real-time program analysis
inferred← citeshttps://doi.org/10.5555/996070.1009982openalex-snapshot
ILP Models for the Synthesis of Asynchronous Control Circuits
inferred← citeshttps://doi.org/10.5772/6596openalex-snapshot
Modeling and Analysis Methods for Multi-Agent Systems
inferred← citeshttps://doi.org/10.5821/dissertation-2117-95294openalex-snapshot
Bounded model checking for asynchronous concurrent systems
inferred← citeshttps://doi.org/10.6100/ir631345openalex-snapshot
Verification of soundness and other properties of business processes
showing the first 200 of 202 · page through all 202
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.