Skip to content
<title>Channels - Applying CEGAR to the Petri Net State Equation :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Applying CEGAR to the Petri Net State Equation
Search for more channels:
Similar Items: Applying CEGAR to the Petri Net State Equation
Channel Options
View Record
Explore related channels
Quick Look
Priced Timed Petri Nets
Quick Look
Structurally Cyclic Petri Nets
Quick Look
Separators in Continuous Petri Nets
Quick Look
Event Structures for Petri nets with Persistence
Quick Look
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Quick Look
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Quick Look
On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
Quick Look
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Quick Look
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Quick Look
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Quick Look
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Quick Look
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Quick Look
Petri Automata
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
Enhanced Modelling and Analysis of Cyber‐Physical System Security Against DoS Attacks Using Generalised Stochastic Petri Nets
Quick Look
Generic Modal Cut Elimination Applied to Conditional Logics
Quick Look
A Sorted Semantic Framework for Applied Process Calculi
Quick Look
The Ant Colony Optimization Algorithm Applied in Transport Logistics
Quick Look
An Explicit Framework for Interaction Nets
Quick Look
Reversing Place Transition Nets
Quick Look
Classical and Sliding Mode Controllers Applied to the Reaction Wheel Inverted Pendulum
Quick Look
Acyclic Solos and Differential Interaction Nets
Quick Look
A Reusable Prompting Framework for Applying Large Language Models to Legal Tasks
Quick Look
On the mathematical synthesis of equational logics
Load more items
View Record
Prev
Explore related channels
Next
