Pages that link to "Item:Q1184987"
From MaRDI portal
The following pages link to Concurrent regular expressions and their relationship to Petri nets (Q1184987):
Displaying 16 items.
- Shuffled languages -- representation and recognition (Q388107) (← links)
- Counter machines, Petri nets, and consensual computation (Q517037) (← links)
- Regular binoid expressions and regular binoid languages. (Q1401404) (← links)
- Series-parallel languages and the bounded-width property (Q1566734) (← links)
- Shuffle languages are in P (Q1589415) (← links)
- Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids (Q1884948) (← links)
- Location based automata for expressions with shuffle (Q2232263) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- Derivatives for Regular Shuffle Expressions (Q2799179) (← links)
- Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798) (← links)
- Fair expressions and regular languages over lists (Q4348238) (← links)
- Methods for behavior descriptions of structure-complex Petri nets (Q4915283) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)
- Location automata for regular expressions with shuffle and intersection (Q6186310) (← links)
