scientific article; zbMATH DE number 3722109

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)

Cited in

(only showing first 100 items - show all)

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
On-line fault detection in discrete event systems by Petri nets and integer linear programming
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
On the rationality of Petri net languages
A logical approach of Petri net languages
Modeling rule-based systems by stochastic programmed production systems
Petri nets, algebras, morphisms, and compositionality
Computation of the makespan in a transfer line with station breakdowns using stochastic Petri nets
The complexity of reachability in distributed communicating processes
Problems concerning fairness and temporal logic for conflict-free Petri nets
Reduction and covering of infinite reachability trees
Algebraic structure of some stochastic discrete event systems, with applications
A fuzzy Petri net for knowledge representation and reasoning
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
Place/transition nets with debit arcs
On structural conditions for weak persistency and semilinearity of Petri nets
Petri net semantics of priority systems
Distributed event algebras
\(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
The context-freeness of the languages associated with vector addition systems is decidable
A structure to decide reachability in Petri nets
Design and implementation of a Petri net based supervisor for a flexible manufacturing system
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
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
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
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
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
Using timed Petri net to model instruction-level loop scheduling with resource constraints
Supervisory control using variable lookahead policies
Analysis of a hybrid system using symbolic dynamics and Petri nets
A note on the construction of marked graphs
Modeling temporal processes via belief networks and Petri nets, with application to expert systems
Deciding a class of path formulas for conflict-free Petri nets
A class of non-deterministic specifications for supervisory control
Petri nets for the design and operation of manufacturing systems
On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
On reachability equivalence for BPP-nets
Undecidable problems in unreliable computations.
Faster asynchronous systems.
Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets
A causal semantic for time Petri nets
Constructing Petri net models using genetic search
Optimising the flow of information within a C3I network.
A valuation-based analysis of conflict-free Petri nets
Analysis issues in Petri nets with inhibitor arcs
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Partial order semantics and read arcs
Identification of biological transition systems using meta-interpreted logic programs
Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model
Confusion control in generalized Petri nets using synchronized events
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
Deciding detectability for labeled Petri nets
Interval semantics for Petri nets with inhibitor arcs
A well-structured framework for analysing Petri net extensions
A hierarchy of failures-based models: theory and application
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
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
A coordination theory for intelligent machines
Asymptotic expansions associated with the variance estimator of the normal observation error in nonlinear regression
Concept of multiset in cybernetics
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
Three measures for synchronic dependence in Petri nets
Process algebras for systems diagnosis.
Decidability of split equivalence
Analysis of discrete event systems by simulation of timed Petri net models
Domain and event structure semantics for Petri nets with read and inhibitor arcs
An informal introduction to a high level language with applications to interval mathematics
Modeling data-intensive reactive systems with relational transition systems
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
A polynomial -bisimilar normalization for reset Petri nets
Petri net languages and infinite subsets of \(\mathbb{N}^m\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3911403)