scientific article; zbMATH DE number 1228291
From MaRDI portal
Publication:4220896
zbMath0924.68147MaRDI QIDQ4220896
Publication date: 2 December 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (19)
Mathematical programming approach to the Petri nets reachability problem ⋮ A Petri net approach for the design and analysis of web services choreographies ⋮ Structural matrices for Signed Petri net ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ The formalization of decision-free Petri net ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ State equations of stochastic timed Petri nets with informational relations ⋮ TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching ⋮ Expressiveness of verifiable hierarchical clock systems ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Biconvex programming approach to optimization over the weakly efficient set of a multiple objective affine fractional problem ⋮ Reachability results for timed automata with unbounded data structures ⋮ Verification of Timed-Arc Petri Nets ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Modeling the process of human body iron homeostasis using a variant of timed Petri nets ⋮ Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement ⋮ Analysis of discrete event systems by simulation of timed Petri net models
This page was built for publication:
