Petri nets and linear logic for process oriented diagnosis

Proceedings of IEEE Systems Man and Cybernetics Conference - SMC ◽

10.1109/icsmc.1993.384881 ◽

2002 ◽

Author(s):

B. Pradin-Chezalviel ◽

N. Valette

Keyword(s):

Linear Logic ◽

Process Oriented

Download Full-text

Petri Nets and Linear Logic

10.1002/9780470611647.ch16 ◽

2010 ◽

pp. 481-500 ◽

Author(s):

Brigitte Pradin ◽

Robert Valette ◽

Nicolas Rivire

Keyword(s):

Download Full-text

Petri nets, Horn programs, Linear Logic, and vector games

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_119 ◽

1994 ◽

pp. 642-666 ◽

Author(s):

Max I. Kanovich

Keyword(s):

Download Full-text

Linear logic on Petri nets

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_20 ◽

1994 ◽

pp. 176-229 ◽

Author(s):

Uffe Engberg ◽

Glynn Winskel

Keyword(s):

Download Full-text

INCOME2010 - a Toolset for Developing Process-Oriented Information Systems Based on Petri Nets

Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems ◽

10.4108/icst.simutools2008.3094 ◽

2008 ◽

Author(s):

Stefan Klink ◽

Yu Li ◽

Andreas Oberweis

Keyword(s):

Information Systems ◽

Process Oriented

Download Full-text

Petri nets as models of linear logic

CAAP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52590-4_46 ◽

1990 ◽

pp. 147-161 ◽

Author(s):

Uffe Engberg ◽

Glynn Winskel

Keyword(s):

Download Full-text

Completeness results for linear logic on Petri nets

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_36 ◽

1993 ◽

pp. 442-452 ◽

Author(s):

Uffe Engberg ◽

Glynn Winskel

Keyword(s):

Download Full-text

LINEAR LOGIC FOR IMPRECISE FIRINGS IN OBJECT PETRI NETS

Advances in Fuzzy Systems — Applications and Theory - Fuzzy Logic and Soft Computing ◽

10.1142/9789812830753_0014 ◽

1995 ◽

pp. 119-128 ◽

Author(s):

Janette CARDOSO ◽

Robert VALETTE ◽

Brigitte PRADIN-CHEZALVIEL

Keyword(s):

Download Full-text

Completeness results for linear logic on Petri nets

Annals of Pure and Applied Logic ◽

10.1016/s0168-0072(96)00024-3 ◽

1997 ◽

Vol 86 (2) ◽

pp. 101-135 ◽

Author(s):

Uffe Engberg ◽

Glynn Winskel

Keyword(s):

Download Full-text

Debits and Credits in Petri Nets and Linear Logic

Lecture Notes in Computer Science - Logic, Rewriting, and Concurrency ◽

10.1007/978-3-319-23165-5_6 ◽

2015 ◽

pp. 135-159

Author(s):

Massimo Bartoletti ◽

Pierpaolo Degano ◽

Paolo Di Giamberardino ◽

Roberto Zunino

Keyword(s):

Download Full-text

Scenario durations characterization of t-timed Petri nets using linear logic

Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) ◽

10.1109/pnpm.1999.796567 ◽

2003 ◽

Author(s):

B. Pradin-Chezalviel ◽

R. Valette ◽

L.A. Kunzle

Keyword(s):

Linear Logic ◽

Timed Petri Nets

Download Full-text