Petri Nets with Parameterised Data: Modelling and Verification

Conference proceeding

Peer reviewed

Business Process Management, pp.55-74

Lecture Notes in Computer Science

18th Int. Conference on Business Process Management (BPM 2020) (Sevilla, Spain, 13/09/2020 - 18/09/2020)

2020

Handle:

https://hdl.handle.net/10863/29268

Files and links (1)

url

https://link.springer.com/chapter/10.1007%2F978-3-030-58666-9_4View

Title: Petri Nets with Parameterised Data: Modelling and Verification
Creators: Silvio Ghilardi - University of Milan
Alessandro Gianola - Free University of Bozen-Bolzano
Marco Montali - Free University of Bozen-Bolzano
Andrey Rivkin - Free University of Bozen-Bolzano
Publication Details: Business Process Management, pp.55-74
Editor(s): Fahland D, Ghidini C, Becker J, Dumas M
ISBN: 9783030586652
EISBN: 9783030586669
ISSN: 0302-9743
EISSN: 1611-3349
Conference: 18th Int. Conference on Business Process Management (BPM 2020) (Sevilla, Spain, 13/09/2020 - 18/09/2020)
Series / Volume: Lecture Notes in Computer Science
Publisher: Springer
Identifiers: 978-3-030-58665-2
(UNIBZ)37107342
991006491392501241
Web of Science ID: WOS:000886530500004
Scopus ID: 2-s2.0-85091307225
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Ghilardi S, Gianola A, Montali M, Rivkin A
Additional Description: Editors/Supervisors: Fahland D, Ghidini C, Becker J, Dumas M

3 Record Views