The following pages link to (Q4172930):
Displaying 5 items.
- The unsolvability of some Petri net language problems (Q599503) (← links)
- Super-nets and their hierarchy (Q1050114) (← links)
- Concurrent regular expressions and their relationship to Petri nets (Q1184987) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- Notes on finite asynchronous automata (Q3761703) (← links)