scientific article
From MaRDI portal
zbMath0731.68082MaRDI QIDQ3357558
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis, Model checking of time Petri nets using the state class timed automaton, Waiting nets, Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper), Waiting Nets: State Classes and Taxonomy, Contracts for cross-organizational workflows as timed dynamic condition response graphs, Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, Timed Basic Parallel Processes, Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities, How Might Petri Nets Enhance Your Systems Biology Toolkit, Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks, Fast asynchronous systems in dense time, Local time membrane systems and time Petri nets, Time-based expressivity of time Petri nets for system specification, A causal semantic for time Petri nets, Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
