scientific article
From MaRDI portal
Publication:3911403
zbMath0461.68059MaRDI QIDQ3911403
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsbibliographyparallel computationasynchronous systemsPetri net languagesoperating systemsanalysis of Petri nets
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
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, Identification of biological transition systems using meta-interpreted logic programs, Verification of Gap-Order Constraint Abstractions of Counter Systems, Domain and event structure semantics for Petri nets with read and inhibitor arcs, Modeling and targeting an essential metabolic pathway of \textit{Plasmodium falciparum} in apicoplast using Petri nets, Extended colored Petri net: An efficient tool for analyzing concurrent systems, An informal introduction to a high level language with applications to interval mathematics, Dynamic analysis of repetitive decision-free discrete-event processes: The algebra of timed marked graphs and algorithmic issues, Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems, Modeling data-intensive reactive systems with relational transition systems, Reliability function of a class of time-dependent systems with standby redundancy, Well-structured languages, Lagrange stability and boundedness of discrete event systems, Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets, Feedback control of Petri nets based on place invariants, Aligning event logs to resource-constrained \(\nu \)-Petri nets, Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model, Optimal Petri net supervisor synthesis for forbidden state problems using marking mask, Confusion control in generalized Petri nets using synchronized events, Decidability of opacity verification problems in labeled Petri net systems, Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets, On Interval Process Semantics of Petri Nets with Inhibitor Arcs, Verification of finite-state machines: a distributed approach, Universality in Infinite Petri Nets, Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem, Decomposition and factorization of chemical reaction transducers, Undecidable problems in unreliable computations., Faster asynchronous systems., Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets, Verification of gap-order constraint abstractions of counter systems, Real time identification of discrete event systems using Petri nets, Deadlock detection-oriented unfolding of unbounded Petri nets, A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets, Team equivalences for finite-state machines with silent moves, Petri net languages and infinite subsets of \(\mathbb{N}^m\), Petri nets and regular processes, An introduction to signed Petri net, Team bisimilarity, and its associated modal logic, for BPP nets, Model-based computing: Developing flexible machine control software, Deciding detectability for labeled Petri nets, Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities, Theory of reaction automata: a survey, Interval semantics for Petri nets with inhibitor arcs, Planning temporal events using point-interval logic, Detection of temporal anomalies for partially observed timed PNs, Modeling and visualizing object-oriented programs with Codecharts, Performance analysis of the \(M/G/c\) retrial queueing systems using the theory of Markov regenerative stochastic Petri nets., Conflict vs causality in event structures, A Petri net approach to the study of persistence in chemical reaction networks, Petri nets are less expressive than state-extended PA, A well-structured framework for analysing Petri net extensions, A hierarchy of failures-based models: theory and application, Paradigm of computations on the Petri nets, Unnamed Item, Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets, On the \(\omega\)-language expressive power of extended Petri nets, Structure matrices for Petri nets and their applications, Supervisory control of a class of concurrent discrete event systems under partial observation, State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions, Requirements driven dynamic services composition for web services and grid solutions, Petri net reactive modules, Stochastic Petri net analysis of finite-population vacation queueing systems, An environment for rapid prototyping of interactive systems, Editorial: Deadlock analysis and control in resource allocation systems, Models and languages for description of parallel processes, Decomposition of data mining algorithms into unified functional blocks, On-line verification of current-state opacity by Petri nets and integer linear programming, Parameterized verification of monotone information systems, Sensitivity analysis and optimization of stochastic Petri nets, A modeling strategy for hybrid systems based on event structures, Locked discrete event systems: How to model and how to unlock, Modeling and analysis of network control system based on hierarchical coloured Petri net and Markov chain, Formal Dependability Modeling and Analysis: A Survey, Triangular array token Petri net and P system, Partial array token Petri net and \(P\) system, A study on team bisimulation and H-team bisimulation for BPP nets, A coordination theory for intelligent machines, On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net, Asymptotic expansions associated with the variance estimator of the normal observation error in nonlinear regression, Concept of multiset in cybernetics, The computational capability of chemical reaction automata, A multiparameter analysis of the boundedness problem for vector addition systems, Boundedness, empty channel detection, and synchronization for communicating finite automata, Switched LAN simulation by colored Petri nets, A causal semantic for time Petri nets, Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets, Three measures for synchronic dependence in Petri nets, \(e\)-commerce and supply chains: modelling of dynamics through fuzzy enhanced high level Petri net, Process algebras for systems diagnosis., Decidability of split equivalence, Expand, enlarge and check: new algorithms for the coverability problem of WSTS, Constructing Petri net models using genetic search, Optimising the flow of information within a C3I network., Analysis of discrete event systems by simulation of timed Petri net models, A valuation-based analysis of conflict-free Petri nets, Minimal trap spaces of logical models are maximal siphons of their Petri net encoding, Analysis issues in Petri nets with inhibitor arcs, Efficiency of asynchronous systems, read arcs, and the MUTEX-problem, Partial order semantics and read arcs, Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves, Firing partial orders in a Petri net, Distributed Adaptive Systems, Petri Net Reductions for Counting Markings, Beyond Logical Approach to Systems Theory, Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems, Towards Formal Fault Tree Analysis Using Theorem Proving, Petri Nets as Token Objects, Fuzzy Petri Nets with Linear Orders for Intervals, A Petri Net based approach to determine the disassembly strategy of a product, Mission control of the MARIUS autonomous underwater vehicle: system design, implementation and sea trials, Language Representability of Finite P/T Nets, Undecidability of Propositional Separation Logic and Its Neighbours, Analysis of petri nets by partitioning: splitting places or transitions, Deterministic asynchronous interpretation of parallel microprograms, M-schemas for macropipelined computation, A tabular method for the analysis of large petri nets, A mathematical model for system design and refinement, A new methodology for analyzing distributed systems modeled by petri nets, Efficient computerized Petri net approach for the enumeration of the sets of path identifiers for reliability analysis of broadcasting networks, Low power assignment of partial states of a parallel automaton, Modelling and analysis of a semaphore system by an extended stochastic Petri net, Discrete events and general systems theory, Causal behaviours and nets, High undecidability of weak bisimilarity for Petri nets, Interleaving vs True Concurrency: Some Instructive Security Examples, A Study on Team Bisimulations for BPP Nets, Knowledge representation for grounded theory construction in qualitative data analysis, Modeling and analysis of switching max-plus linear systems with discrete-event feedback, Maximal and Minimal Dynamic Petri Net Slicing, Infinite results, Toward Optimization of Reasoning Using Generalized Fuzzy Petri Nets, MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs, Process Discovery Using Integer Linear Programming, The Computing Power of Determinism and Reversibility in Chemical Reaction Automata, Adjunct partial array token Petri net structure, Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding, A compositional framework for reaction networks, On Recursion, Replication and Scope Mechanisms in Process Calculi, DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS, Unnamed Item, An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices, Experimental research on the welfare in a closed production network, Compositional Verification for Component-Based Systems and Application, Automatic verification for a class of distributed systems, Open Petri nets, Deciding properties of integral relational automata, Reduced state space representation for unbounded vector state spaces, Modified Generalised Fuzzy Petri Nets for Rule-Based Systems, Petri Net Generating Hexagonal Arrays, The island model as a Markov dynamic system, Modeling event structures*, Methods for behavior descriptions of structure-complex Petri nets, Causal Semantics for BPP Nets with Silent Moves, A Petri Net Model of Handshake Protocols, Performance evaluation of tandem and conventional AGV systems using generalized stochastic Petri nets, Petri net extensions for modelling and validating manufacturing systems, Concurrency for Graph Grammars in a Petri net shell, Communicating processes, scheduling, and the complexity of nontermination, Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems, Structure theory of multi-level deterministically synchronized sequential processes, Fast asynchronous systems in dense time, Pushdown automata, multiset automata, and Petri nets, Well-structured transition systems everywhere!, A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios, Inheritance of behavior, Petri net-based modelling of workflow systems: An overview, Concurrency, Synchronization, and Conflicts in Petri Nets, Logical models of discrete even systems: a comparative exposition, Algebraic nets with flexible arcs, Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time, PN Standardisation: A Survey, POC net, a subclass of Petri nets, and its application to timed Petri nets, Unnamed Item, ON VARIOUS NOTIONS OF PARALLELISM IN P SYSTEMS, Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model, Structured Cospans, Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller, Disassembly sequence generation: A Petri net based heuristic approach, Performance Enhancement of Asynchronous Circuits, Tutorial and Survey Articles: An introduction to Petri Nets, Dynamic Slicing Techniques for Petri Nets, Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks, Modelling and analysis of wafer fabrication scheduling via generalized stochastic Petri net and simulated annealing, Boundedness, hierarchy of fairness, and communication networks with delay, Introduction to Petri Nets, Supervisory Control of Petri Nets with Language Specifications, Process of petri nets extension, Modeling Power of Stochastic Petri Nets for Simulation, Application of simulation and Petri net modelling in manufacturing control systems, A methodology for analysing large-scale concurrent engineering systems, Petri net models of flexible and automated manufacturing systems: a survey, A Note on an Anomaly in Black-Box Testing, Coverability, Termination, and Finiteness in Recursive Petri Nets
