✦ LIBER ✦

CTS systems and Petri nets

✍ Scribed by Ij.J. Aalbersberg; G. Rozenberg

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 837 KB
Volume: 40
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90163-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Timed Petri Nets

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 171 KB 👁 2 views

## TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representa

Modeling Petri Nets by Local Action Syst

Modeling Petri Nets by Local Action Systems

✍ Nico Verlinden; Dirk Janssens 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 237 KB

Efficient analysis of concurrent systems

Efficient analysis of concurrent systems by Petri nets

✍ Kunihiko Hiraishi 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB

In the theoretical analysis of Petri nets there are many results for subclasses of Petri nets restricted by structural or behavioral properties. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods aim to improve the ave

Performance model of software systems us

Performance model of software systems using Petri nets

✍ G.S. Hura 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Petri Nets and Regular Processes

✍ Petr Jančar; Javier Esparza; Faron Moller 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 364 KB

We consider the following problems: (a) Given a labelled Petri net and a finite automaton, are they equivalent?; (b) Given a labelled Petri net, is it equivalent to some (unspecified) finite automaton? These questions are studied within the framework of trace and bisimulation equivalences, in both t

Using Petri-nets for data processing sys

Using Petri-nets for data processing systems analysis and synthesis

✍ V.V. Kulba; A.R. Shvetsov 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 550 KB

Kulba, V.V. and A.R. Shvetsov, Using Petri-nets for data processing systems analysis and synthesis, Mathematics and Computers in Simulation 33 (1991) 317-321. The article deals with some problems connected with analysis and synthesis of Data Processing Systems under time criteria. Modelling of a DPS