compilation of netsconcurrencycontinuitydualitylimits of precisionlivenessmeasurement and modeling of continuous variablesPetri netsprocessesreachabilitysecurity constructions
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(23)- Time and space efficient net extractor
- Interval semantics for Petri nets with inhibitor arcs
- Deciphering the co-car anomaly of circular traffic queues using Petri nets
- Causality in physics and computation
- Diffusion approximation for signaling stochastic networks
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Orthomodular Lattices in Occurrence Nets
- Temporal uncertainty and fuzzy-timing high-level Petri nets
- Introduction: Threads in fuzzy Petri nets research
- scientific article; zbMATH DE number 1383329 (Why is no real title available?)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- THE PHASE WEB PARADIGM
- SPACE AND TIME IN COMPUTATION AND DISCRETE PHYSICS
- Circular traffic queues and Petri's cycloids
- Modeling concurrency with interval traces
- On Interval Semantics of Inhibitor and Activator Nets
- Petri's axioms of concurrency a selection of recent results
- Thinking in Cycles
- Aligning the representation and reality of computation with asynchronous logic automata
- Interval traces with mutex relation
- Minimal generating sets for semiflows
- Computations in living organisms modeled by marked graphs
- Spacetime games subsume causal contextuality scenarios
This page was built for publication: Nets, time and space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672863)
