Application and Theory of Petri Nets and Concurrency

Fabrice Kordon; Daniel Moldt

doi:10.1007/978-3-319-39086-4

Proceedings Year : 2016

Application and Theory of Petri Nets and Concurrency

(1) ,

Fabrice Kordon

Function : Author
PersonId : 9774
IdHAL : fabrice-kordon
ORCID : 0000-0002-5626-828X
IdRef : 074605283

Modélisation et Vérification

Daniel Moldt

Function : Author
PersonId : 989288

Abstract

37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Keywords

Formal verification formal modeling theoretical computer science applications tools Petri nets

Domains

Formal Languages and Automata Theory [cs.FL] Systems and Control [cs.SY] Data Structures and Algorithms [cs.DS] Embedded Systems

Fabrice Kordon : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-01341943

Submitted on : Tuesday, July 5, 2016-10:40:57 AM

Last modification on : Tuesday, April 11, 2023-3:16:28 PM

Dates and versions

hal-01341943 , version 1 (05-07-2016)

Identifiers

HAL Id : hal-01341943 , version 1
DOI : 10.1007/978-3-319-39086-4

Cite

Fabrice Kordon, Daniel Moldt. Application and Theory of Petri Nets and Concurrency. 9695, 2016, Lecture Notes in Computer Science, 978-3-319-39085-7. ⟨10.1007/978-3-319-39086-4⟩. ⟨hal-01341943⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

138 View

0 Download

Application and Theory of Petri Nets and Concurrency

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share