Top

Programming and Computer Software

Published in:

01-07-2016

“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets

Authors: I. B. Virbitskaite, V. A. Borovlev, L. Popova-Zeugmann

Published in: Programming and Computer Software | Issue 4/2016

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

next article Comparison of specification decomposition methods in Event-B

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Authors: I. B. Virbitskaite
V. A. Borovlev
L. Popova-Zeugmann
Publication date: 01-07-2016
Publisher: Pleiades Publishing
Published in: Programming and Computer Software / Issue 4/2016
Print ISSN: 0361-7688
Electronic ISSN: 1608-3261
DOI: https://doi.org/10.1134/S0361768816040071

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 4/2016

Conflict resolution in multi-agent systems with typed relations for ontology population

Program schemata technique for propositional program logics: A 30-year history

Comparison of specification decomposition methods in Event-B

On fuzzy repetitions detection in documentation reuse

Checking several requirements at once by CEGAR

Premium Partner