scientific article

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

concurrent systems bibliography parallel computation asynchronous systems Petri net languages operating systems analysis of Petri nets

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (only showing first 100 items - show all)

Cancellation in context-free languages: enrichment by reduction ⋮ Dynamic programming, decision tables, and the Hawaii parallel computer ⋮ An exercise in the automatic verification of asynchronous designs ⋮ On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity ⋮ Using timed Petri net to model instruction-level loop scheduling with resource constraints ⋮ Supervisory control using variable lookahead policies ⋮ A logical approach of Petri net languages ⋮ Modeling rule-based systems by stochastic programmed production systems ⋮ Analysis of a hybrid system using symbolic dynamics and Petri nets ⋮ Petri nets, algebras, morphisms, and compositionality ⋮ Computation of the makespan in a transfer line with station breakdowns using stochastic Petri nets ⋮ Concurrent abstract state machines ⋮ Distinguishing between evidence and its explanations in the steering of atomic clocks ⋮ Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Diagnosability of Petri nets with observation graphs ⋮ A note on the construction of marked graphs ⋮ Reduction rules for reset/inhibitor nets ⋮ The complexity of reachability in distributed communicating processes ⋮ Modeling temporal processes via belief networks and Petri nets, with application to expert systems ⋮ Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources ⋮ Deciding a class of path formulas for conflict-free Petri nets ⋮ A class of non-deterministic specifications for supervisory control ⋮ A formal mathematical framework for modeling probabilistic hybrid systems ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Cycles and communicating classes in membrane systems and molecular dynamics ⋮ Process semantics of general inhibitor nets ⋮ Possibilistic Petri nets as a basis for agent service description language ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Computing the reveals relation in occurrence nets ⋮ On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets ⋮ On reachability equivalence for BPP-nets ⋮ Macro liveness graph and liveness of \(\omega\)-independent unbounded nets ⋮ Unconventional algorithms: complementarity of axiomatics and construction ⋮ Time variant dynamic models in diagnosing of real-time computer systems ⋮ An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints ⋮ Complexity results for weighted timed event graphs ⋮ Step coverability algorithms for communicating systems ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Toward a definition of fault analysis for Petri nets models ⋮ High-level Petri-net model for a resource-sharing problem ⋮ Reduction and covering of infinite reachability trees ⋮ Graph models and mathematical programming in biochemical network analysis and metabolic engineering design ⋮ Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems ⋮ Algebraic structure of some stochastic discrete event systems, with applications ⋮ A fuzzy Petri net for knowledge representation and reasoning ⋮ Extensional Petri net ⋮ The complexity of problems involving structurally bounded and conservative Petri nets ⋮ Concurrent regular expressions and their relationship to Petri nets ⋮ Fine covers of a VAS language ⋮ Event rates and aggregation in hierarchical discrete event systems ⋮ Verification of membrane systems with delays via Petri nets with delays ⋮ Place/transition nets with debit arcs ⋮ On structural conditions for weak persistency and semilinearity of Petri nets ⋮ Undecidability of bisimilarity for Petri nets and some related problems ⋮ Complexity results for 1-safe nets ⋮ Constraint nets: a semantic model for hybrid dynamic systems ⋮ Synchronization of a class of cyclic discrete-event systems describing legged locomotion ⋮ Petri net semantics of priority systems ⋮ Distributed event algebras ⋮ \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems ⋮ Discrete-event diagnostic model for a distributed computational system. Independent chains ⋮ The context-freeness of the languages associated with vector addition systems is decidable ⋮ A structure to decide reachability in Petri nets ⋮ The virtues of idleness: a decidable fragment of resource agent logic ⋮ Design and implementation of a Petri net based supervisor for a flexible manufacturing system ⋮ Specification and automatic verification of self-timed queues ⋮ Structure of concurrency ⋮ Efficient simulation of hierarchical stochastic activity network models ⋮ Learning semilinear sets from examples and via queries ⋮ Extended stochastic Petri net models for systems with parallel and cooperative motions ⋮ Normal and sinkless Petri nets ⋮ Automating the transformation-based analysis of visual languages ⋮ Bilinear system interconnections and generating series of weighted Petri nets ⋮ Reachability trees for high-level Petri nets ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Executability of scenarios in Petri nets ⋮ A sufficient condition for the liveness of weighted event graphs ⋮ Event monitoring of parallel computations ⋮ Analysis of Petri nets by partitioning: Splitting transitions ⋮ State equations and equivalent transformations for timed Petri nets ⋮ Decidability problems in grammar systems ⋮ Time-based expressivity of time Petri nets for system specification ⋮ Fluid stochastic Petri nets: Theory, applications, and solution techniques ⋮ On-line fault detection in discrete event systems by Petri nets and integer linear programming ⋮ Subset languages of Petri nets. I: The relationship to string languages and normal forms ⋮ Super-nets and their hierarchy ⋮ A comparison of two Petri net types ⋮ Models of programs and processes ⋮ Modeling production rules by means of predicate transition networks ⋮ Global and local views of state fairness ⋮ A taxonomy of fairness and temporal logic problems for Petri nets ⋮ Numerical computation of response time distributions using stochastic reward nets ⋮ Petri nets for modeling of dynamic systems -- a survey ⋮ A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol ⋮ The parallel complexity of two problems on concurrency ⋮ Building reduced Petri net models of discrete manufacturing systems ⋮ Qualitative simulation of temporal concurrent processes using time interval Petri nets ⋮ On the rationality of Petri net languages ⋮ Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems

This page was built for publication: